{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
                // but it may not be a type variable after processing obligations
                // Ended up encountering a type variable when doing autoderef,
                // in our local `FnCtxt`, so don't call `structurally_resolve_type`.