{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
                // in our local `FnCtxt`, so don't call `structurally_resolve_type`.
                // but it may not be a type variable after processing obligations
                let ty = &bad_ty.ty;