The behavior is correct: expression macro parameters should be type-checked before the macro expansion is performed.
Actually, this is Xcode 16.3 which does it correctly and fixes some previously missing checks.
1 Like