{"ast_node_type":"import","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// which requires the `where` clause to be proven, and also
    /// Like `WhereClause`, but also identifies the expression
    /// identifies the index of the predicate in the `predicates_of`