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