Function flux_refineck::checker::trait_impl_subtyping

source ยท 
pub(crate) fn trait_impl_subtyping(
    genv: GlobalEnv<'_, '_>,
    def_id: LocalDefId,
    overflow_checking: bool,
    span: Span,
) -> Result<Option<(RefineTree, KVarGen)>, CheckerError>
Expand description

Trait subtyping check, which makes sure that the type for an impl method (def_id) is a subtype of the corresponding trait method.