Home
last modified time | relevance | path

Searched defs:replace_const (Results 1 – 2 of 2) sorted by relevance

/third_party/rust/rust/compiler/rustc_middle/src/ty/
Dfold.rs138 fn replace_const(&mut self, bv: ty::BoundVar, ty: Ty<'tcx>) -> ty::Const<'tcx>; in replace_const() method
154 fn replace_const(&mut self, bv: ty::BoundVar, ty: Ty<'tcx>) -> ty::Const<'tcx> { in replace_const() method
402 fn replace_const(&mut self, bv: ty::BoundVar, ty: Ty<'tcx>) -> ty::Const<'tcx> { in anonymize_bound_vars() method
/third_party/rust/rust/compiler/rustc_infer/src/infer/
Dmod.rs1399 fn replace_const(&mut self, bv: ty::BoundVar, ty: Ty<'tcx>) -> ty::Const<'tcx> { in instantiate_binder_with_fresh_vars() method