flux_
refineck
0.1.0
In flux_
refineck::
compare_
impl_
item
flux_refineck
::
compare_impl_item
Function
check_impl_against_trait
Copy item path
Source
pub fn check_impl_against_trait( genv:
GlobalEnv
<'_, '_>, impl_id:
MaybeExternId
, ) ->
QueryResult