{"ast_node_type":"function","tokens":[{"end":83,"kind":"keyword","start":0,"text":"pub(super)"}]}
    pub(super) fn only_has_type(self, fcx: &FnCtxt<'a, 'tcx>) -> Option<Ty<'tcx>> {
    /// such a constraint, if it exists.
        match self {