hax_
frontend_
exporter
0.1.0-pre.1
Module rustc
Modules
Traits
Functions
In crate hax_
frontend_
exporter
Module
hax_frontend_exporter
::
rustc
Copy item path
source
·
[
−
]
Modules
§
copy_
paste_
from_
rustc
Traits
§
Into
Impl
Expr
Functions
§
select_
trait_
candidate
super_
clause_
to_
clause_
and_
impl_
expr
Given a clause
clause
in the context of some impl. block
impl_did
, susbts correctly
Self
from
clause
and (1) derive a
Clause
and (2) resolve an
ImplExpr
.