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