Skip to content

Draft: Implement Implicit Parameters using `SpecialPred`

Joachim Breitner requested to merge wip/joachim/ip-special-pred into master

Still WIP. See #20912.

Merge request reports