A/B testing language features

maybe this would be relevant then: Additional useful compiler macros

a crate could come along and provide a wrapper over it that lets you specify “in every expression context, exp ! becomes into” in simple terms