rustc_middle
1.80.0-nightly
(ada5e2c7b 2024-05-31)
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.