{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"//"}]}
    // predicates.
    // be trivially false. We must now check that the impl has no impossible-to-satisfy
    if tcx.instantiate_and_check_impossible_predicates((item.owner_id.to_def_id(), impl_args)) {