{"ast_node_type":"import","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
    // to its definition type. This should be the param-env we use to *prove* the
    // Normalize predicates with the assumption that the GAT may always normalize
    // predicate too, but we don't do that because of performance issues.