{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"goal.predicate.trait_ref.args.type_at(0),"}]}
                goal.predicate.trait_ref.args.type_at(0),
            let certainty = ecx.is_transmutable(
                goal.predicate.trait_ref.args.type_at(1),