src/librustc_ty/common_traits.rs

   1 //! Queries for checking whether a type implements one of a few common traits.
   2
   3 use rustc::middle::lang_items;
   4 use rustc::ty::{self, Ty, TyCtxt};
   5 use rustc_infer::infer::TyCtxtInferExt;
   6 use rustc_infer::traits;
   7 use rustc_span::DUMMY_SP;
   8
   9 fn is_copy_raw<'tcx>(tcx: TyCtxt<'tcx>, query: ty::ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool {
  10     is_item_raw(tcx, query, lang_items::CopyTraitLangItem)
  11 }
  12
  13 fn is_sized_raw<'tcx>(tcx: TyCtxt<'tcx>, query: ty::ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool {
  14     is_item_raw(tcx, query, lang_items::SizedTraitLangItem)
  15 }
  16
  17 fn is_freeze_raw<'tcx>(tcx: TyCtxt<'tcx>, query: ty::ParamEnvAnd<'tcx, Ty<'tcx>>) -> bool {
  18     is_item_raw(tcx, query, lang_items::FreezeTraitLangItem)
  19 }
  20
  21 fn is_item_raw<'tcx>(
  22     tcx: TyCtxt<'tcx>,
  23     query: ty::ParamEnvAnd<'tcx, Ty<'tcx>>,
  24     item: lang_items::LangItem,
  25 ) -> bool {
  26     let (param_env, ty) = query.into_parts();
  27     let trait_def_id = tcx.require_lang_item(item, None);
  28     tcx.infer_ctxt().enter(|infcx| {
  29         traits::type_known_to_meet_bound_modulo_regions(
  30             &infcx,
  31             param_env,
  32             ty,
  33             trait_def_id,
  34             DUMMY_SP,
  35         )
  36     })
  37 }
  38
  39 pub(crate) fn provide(providers: &mut ty::query::Providers<'_>) {
  40     *providers = ty::query::Providers { is_copy_raw, is_sized_raw, is_freeze_raw, ..*providers };
  41 }