Function rustc_query_impl::make_query::explicit_predicates_of[−][src]

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

Expand description

Returns the predicates written explicitly by the user.