Skip to content
Snippets Groups Projects

fix(kernel): avoid reentrant entry bug when infering type of decls with 0 universe arguments

Canceled
belazy created pipeline for commit ed5efc90
, finished
1 related merge request: !40 Resolve "Add Universe Polymorphism"
4 jobs 9 minutes 25 seconds, queued for 4 seconds