Function rustc_query_impl::make_query::subst_and_check_impossible_predicates

pub fn subst_and_check_impossible_predicates<'tcx>(
    tcx: QueryCtxt<'tcx>, 
    key: subst_and_check_impossible_predicates<'tcx>
) -> QueryStackFrame

[query description - consider adding a doc-comment!] impossible substituted predicates: tcx.def_path_str(key.0)