rustc_middle
1.80.0-nightly
(ef0027897 2024-05-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.