{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"self_ty:"}]}
    self_ty: &Ty,
    pred: &QuantifiedWhereClause,
) -> Option<chalk_ir::Binders<rust_ir::InlineBound<Interner>>> {