{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"//"}]}
            // the `TyKind`s heavily in coercion.
            // Make sure to structurally resolve the types, since we use
            let ocx = ObligationCtxt::new(self);