Decide a type is not immutable if any [Immutable] type parameters to do
satisfy that constraint during immutable type analysis.
Previously we would assume a different section of the analyzer caught
these, as we look at arguments to these type parameters specifically
even outside of actual immutable type analysis.
Checking during actual immutable type analysis means we don't miss it
when it really matters, in case we did otherwise.
Decide a type is not immutable if any [Immutable] type parameters to do satisfy that constraint during immutable type analysis.
Previously we would assume a different section of the analyzer caught these, as we look at arguments to these type parameters specifically even outside of actual immutable type analysis.
Checking during actual immutable type analysis means we don't miss it when it really matters, in case we did otherwise.