{"ast_node_type":"variable","tokens":[{"end":62,"kind":"keyword","start":0,"text":"let"}]}
    let mut impl2_predicates = if impl2_node.is_from_trait() {
        // Always applicable traits have to be always applicable without any