{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"if"}]}
    if let TyKind::Path(Some(qself), full_path) = &predicate.lhs_ty.kind
    // Given `<A as Foo>::Bar = RhsTy`, suggest `A: Foo<Bar = RhsTy>`.
        && let TyKind::Path(None, path) = &qself.ty.kind