We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f5e0312 commit a06b24aCopy full SHA for a06b24a
compiler/rustc_hir_analysis/src/check/compare_eii.rs
@@ -20,7 +20,7 @@ use tracing::{debug, instrument};
20
// checks whether the signature of some `external_impl`, matches
21
// the signature of `declaration`, which it is supposed to be compatible
22
// with in order to implement the item.
23
-pub(crate) fn compare_eii_predicate_entailment<'tcx>(
+pub(crate) fn compare_eii_function_types<'tcx>(
24
tcx: TyCtxt<'tcx>,
25
external_impl: LocalDefId,
26
declaration: DefId,
0 commit comments