Allow untyped brackets in typed splices and vice versa.

Resolves #24190 (closed)

Apparently the check was essentially always (as far as I can trace back: d0d47ba7), and while it does catch some mistakes, the type-checker will catch them too. OTOH, it prevents writing completely reasonable programs.