Skip to content

Fixes + frontend support for casts

Lennard Gäher requested to merge ci/casts into main

Fix propagation of rr::context annotations on closures + bug in simp_ltype solver.

Edited by Lennard Gäher

Merge request reports