{"ast_node_type":"import","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// should use [`EvalCtxt::evaluate_goal`] which discards that empty
    /// `NormalizesTo` is only used by `AliasRelate`, all other callsites
    /// storage.