search for: notallowedalias

...ete alias analysis includes both the information on whether given accesses alias and, as a separate element, whether they are allowed to alias by the rules of the language. Then we may have combinations like (MustAlias, AllowedAlias) that seem to be the common case and combinations like (MustAlias, NotAllowedAlias) that I would expect to a) generate the breaks-alias-rules kind of warnings and b) proceed further as any other MustAlias case. The latter combination is what I would expect for illegal type puns, for whatever definition of "illegal". Note that for such cases we currently get MustAlias f...