rustc_middle
1.81.0-nightly
(c6727fc9b 2024-07-12)
In rustc_middle::query::erase
Function
rustc_middle
::
query
::
erase
::
restore
Copy item path
source
ยท
[
−
]
pub fn restore<T:
EraseType
>(value:
Erase
<T>) -> T
Expand description
Restores an erased value.