{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"if"}]}
            if ecx.trait_ref_is_knowable(goal.param_env, trait_ref)? {
            let trait_ref = goal.predicate.trait_ref(cx);
                Err(NoSolution)