{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
    /// Converts a `Ty` in an unambiguous position to one in an ambiguous position. This is
impl<'hir> Ty<'hir> {
    /// fallible as the [`TyKind::Infer`] variant is not present in ambiguous positions.