• M(out x!); (note this also definitely assigns to x through the !)
• M(out (x!));
• M(out (RefReturning()!));
• x! = y;
• M(out string x!);

Current implementation is to allow in out scenarios, but disallow in assignment scenarios.