nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-04-28 02:57:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add ty::TraitRef::{new, from_lang_item}

Browse Source
This commit is contained in:
Maybe Waffle 2023-04-25 15:34:21 +00:00
parent 91b61a4ad6
commit 14f832733d
2 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_middle/src/ty/context.rs
View File

@ -1861,7 +1861,7 @@ impl<'tcx> TyCtxt<'tcx> {
}
#[inline(always)]
fn check_and_mk_substs(
pub(crate) fn check_and_mk_substs(
self,
_def_id: DefId,
substs: impl IntoIterator<Item: Into<GenericArg<'tcx>>>,

19
compiler/rustc_middle/src/ty/sty.rs
View File

@ -3,6 +3,7 @@
#![allow(rustc::usage_of_ty_tykind)]
use crate::infer::canonical::Canonical;
use crate::ty::query::TyCtxtAt;
use crate::ty::subst::{GenericArg, InternalSubsts, SubstsRef};
use crate::ty::visit::ValidateBoundVars;
use crate::ty::InferTy::*;
@ -825,6 +826,24 @@ pub struct TraitRef<'tcx> {
}
impl<'tcx> TraitRef<'tcx> {
pub fn new(
tcx: TyCtxt<'tcx>,
trait_def_id: DefId,
substs: impl IntoIterator<Item: Into<GenericArg<'tcx>>>,
) -> Self {
let substs = tcx.check_and_mk_substs(trait_def_id, substs);
Self { def_id: trait_def_id, substs, _use_mk_trait_ref_instead: () }
}
pub fn from_lang_item(
tcx: TyCtxtAt<'tcx>,
trait_lang_item: LangItem,
substs: impl IntoIterator<Item: Into<ty::GenericArg<'tcx>>>,
) -> Self {
let trait_def_id = tcx.require_lang_item(trait_lang_item, Some(tcx.span));
Self::new(tcx.tcx, trait_def_id, substs)
}
pub fn with_self_ty(self, tcx: TyCtxt<'tcx>, self_ty: Ty<'tcx>) -> Self {
tcx.mk_trait_ref(
self.def_id,