rustc_
smir
1.90.0-nightly
(a2d45f73c 2025-07-07)
SmirTy
Required Methods
new_foreign
Implementors
In rustc_
smir::
context
rustc_smir
::
context
Trait
SmirTy
Copy item path
Source
pub trait SmirTy<'tcx> { // Required method fn
new_foreign
(&self, def_id:
DefId
) ->
Ty
<'tcx>; }
Required Methods
§
Source
fn
new_foreign
(&self, def_id:
DefId
) ->
Ty
<'tcx>
Implementors
§
Source
§
impl<'tcx, B:
Bridge
>
SmirTy
<'tcx> for
SmirCtxt
<'tcx, B>