rustc_
middle
1.87.0
(17067e9ac 2025-05-09)
In rustc_
middle::
mir::
pretty
rustc_middle
::
mir
::
pretty
Function
write_user_type_annotations
Copy item path
Source
fn write_user_type_annotations( tcx:
TyCtxt
<'_>, body: &
Body
<'_>, w: &mut dyn
Write
, ) ->
Result
<
()
>