Function rustc_typeck::check::compare_impl_method
[−]
[src]
pub fn compare_impl_method<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
impl_m: &AssociatedItem,
impl_m_span: Span,
impl_m_body_id: NodeId,
trait_m: &AssociatedItem,
impl_trait_ref: TraitRef<'tcx>,
trait_item_span: Option<Span>,
old_broken_mode: bool)
🔬 This is a nightly-only experimental API. (
rustc_private
)Checks that a method from an impl conforms to the signature of the same method as declared in the trait.
Parameters
- impl_m: type of the method we are checking
- impl_m_span: span to use for reporting errors
- impl_m_body_id: id of the method body
- trait_m: the method in the trait
- impl_trait_ref: the TraitRef corresponding to the trait implementation