flux_refineck::compare_impl_item

Function check_assoc_reft

Source 
fn check_assoc_reft(
    infcx: &mut InferCtxt<'_, '_, '_>,
    impl_id: MaybeExternId,
    impl_trait_ref: &TraitRef,
    trait_assoc_id: FluxDefId,
    impl_assoc_id: FluxDefId,
) -> QueryResult