Skip to content

A specialized parameter of an empty type goes to --verdict at an opaque constant, so the kernel checks its def's body (#1186) - #1213

Closed
nicolas-abril wants to merge 1 commit into
bendlang:mainfrom
nicolas-abril:fix-empty-spec-root
Closed

A specialized parameter of an empty type goes to --verdict at an opaque constant, so the kernel checks its def's body (#1186)#1213
nicolas-abril wants to merge 1 commit into
bendlang:mainfrom
nicolas-abril:fix-empty-spec-root

Commits

  1. Commits on Sep 30, 2026