{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":".unwrap_or(ty)"}]}
            .unwrap_or(ty)
            .try_normalize_erasing_regions(self.cx.typing_env(), ty)
            .visit_with(&mut ProhibitOpaqueTypes)