CanonicalUserTypeAnnotation::CanonicalUserType
This shrinks `Ascription`, which shrinks `PatKind::AscribeUserType`, which shrinks `Pat`.
smallvec