Skip to content

Refactor param handling

Lennard Gäher requested to merge lennard/param-refactor into main

This refactors the handling of generics. We get rid of the representation of DeBruijn indices in the Radium representation and instead insert literals directly in the TypeTranslator.

In the course of that, we also fix the handling of generics for trait instances.

Merge request reports