fn check_constness(
tcx: TyCtxt<'_>,
impl1_def_id: LocalDefId,
impl2_node: Node,
span: Span
)
Expand description
Check that the specializing impl impl1
is at least as const as the base
impl impl2
fn check_constness(
tcx: TyCtxt<'_>,
impl1_def_id: LocalDefId,
impl2_node: Node,
span: Span
)
Check that the specializing impl impl1
is at least as const as the base
impl impl2