Proposal: Relax rules for 'pure'

[klickverbot]

On 9/22/10 9:14 PM, Steven Schveighoffer wrote:
> Hypothetical counter-case
>
> struct S
> {
> version(stronglypure)
> string s;
> else
> char[] s;
> }
>
> pure foo(S s); // changes strength depending on S' contents
>
> -Steve

This is a change to the signature of foo – S with the stronglypure 
version defined and S without it are two completely distinct types.