{"ast_node_type":"import","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
    // too, since we *do not* use the trait solver to prove that the RPITIT's
    // present in the trait's RPITITs. This will trigger on trivial predicates,
    // bounds are not stronger -- we're doing a simple, syntactic compatibility