FStarLang/karamel

Type monomorphization naming suggestions get dropped early

msprotz opened this issue · 1 comments

If they're not otherwise reachable, which defeats the purpose. Reported by @aseemr

Fixed