And add a test showing a universe violation getting caught.
From
newtype_index
AscribeUserType
unroll_place()