{"ast_node_type":"import","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
        // This is quite similar to the `projection_may_match` we use in unsizing,
        // but here we want to unify a projection predicate against an alias term