Verify error with primitive patterns involving boxed types

Verify error with primitive patterns involving boxed types #2053