WIP: Check supertraits for object safety

Closes #18959