1 //! Queries for checking whether a type implements one of a few common traits.
3 use rustc::middle::lang_items;
5 use rustc::ty::{self, Ty, TyCtxt};
6 use rustc_span::DUMMY_SP;
8 fn is_copy_raw<'tcx>(tcx: TyCtxt<'tcx>, query: ty::ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool {
9 is_item_raw(tcx, query, lang_items::CopyTraitLangItem)
12 fn is_sized_raw<'tcx>(tcx: TyCtxt<'tcx>, query: ty::ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool {
13 is_item_raw(tcx, query, lang_items::SizedTraitLangItem)
16 fn is_freeze_raw<'tcx>(tcx: TyCtxt<'tcx>, query: ty::ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool {
17 is_item_raw(tcx, query, lang_items::FreezeTraitLangItem)
22 query: ty::ParamEnvAnd<'tcx, Ty<'tcx>>,
23 item: lang_items::LangItem,
25 let (param_env, ty) = query.into_parts();
26 let trait_def_id = tcx.require_lang_item(item, None);
27 tcx.infer_ctxt().enter(|infcx| {
28 traits::type_known_to_meet_bound_modulo_regions(
38 pub(crate) fn provide(providers: &mut ty::query::Providers<'_>) {
39 *providers = ty::query::Providers { is_copy_raw, is_sized_raw, is_freeze_raw, ..*providers };