Draft: Tag incoherent instance applications with `inline`
Proof of concept for adjustment of !9411 (merged).
Instead of inhibiting specializations for incoherent instances, this variant reverses course and generates separate specializations for each application.
The advantage of this approach is that while it keeps #22448 (closed) fixed, things continue to specialize properly.
Fixes #23172 (closed), fixes #23287 (closed).
cc @cactus
EDIT: I applied a similar treatment to matchWithDict
, potentially fixing #21575.