Skip to content
Snippets Groups Projects
Commit ed5efc90 authored by arthur-adjedj's avatar arthur-adjedj
Browse files

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

parent 855f2349
Pipeline #11877 canceled with stages
in 9 minutes and 25 seconds