bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Register const preds for Deref adjustments in HIR typeck

Browse source
This commit is contained in:
Michael Goulet 2024-11-03 04:39:08 +00:00
parent 43c78051ea
commit e03e9abe3c
3 changed files with 42 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

12
compiler/rustc_middle/src/ty/adjustment.rs
View file

@ -1,5 +1,6 @@
use rustc_abi::FieldIdx;
use rustc_hir as hir;
use rustc_hir::def_id::DefId;
use rustc_hir::lang_items::LangItem;
use rustc_macros::{HashStable, TyDecodable, TyEncodable, TypeFoldable, TypeVisitable};
use rustc_span::Span;
@ -123,19 +124,18 @@ pub struct OverloadedDeref {
}
impl OverloadedDeref {
/// Get the zst function item type for this method call.
pub fn method_call<'tcx>(&self, tcx: TyCtxt<'tcx>, source: Ty<'tcx>) -> Ty<'tcx> {
/// Get the [`DefId`] of the method call for the given `Deref`/`DerefMut` trait
/// for this overloaded deref's mutability.
pub fn method_call<'tcx>(&self, tcx: TyCtxt<'tcx>) -> DefId {
let trait_def_id = match self.mutbl {
hir::Mutability::Not => tcx.require_lang_item(LangItem::Deref, None),
hir::Mutability::Mut => tcx.require_lang_item(LangItem::DerefMut, None),
};
let method_def_id = tcx
.associated_items(trait_def_id)
tcx.associated_items(trait_def_id)
.in_definition_order()
.find(|m| m.kind == ty::AssocKind::Fn)
.unwrap()
.def_id;
Ty::new_fn_def(tcx, method_def_id, [source])
.def_id
}
}