@trust is an encapsulation method, not an escape

[Kagamin via Digitalmars-d]

On Friday, 6 February 2015 at 10:28:38 UTC, Walter Bright wrote:
> On 2/6/2015 1:01 AM, Vladimir Panteleev wrote:
>> On Friday, 6 February 2015 at 08:58:05 UTC, Walter Bright 
>> wrote:
>>> Cue my endless attempts to explain the difference between 
>>> input errors and
>>> logic errors :-(
>>
>> So which one is it?
>
> http://www.digitalmars.com/d/archives/digitalmars/D/Program_logic_bugs_vs_input_environmental_errors_244143.html

Do you want to say, that safe code can still corrupt memory if 
it's crafted by a malevolent programmer or if it doesn't perform 
additional domain-specific logic checks of otherwise memory-safe 
data?