pub fn generate_missing_for_all(ctx: &mut Context)Expand description
Back-fill every definition that was registered before Eq/refl existed.
The prelude declares hundreds of definitions before register_eq runs, and none of them can
state an equation until there is an equality to state it in. Call this once at the end of
StandardLibrary::register.