Skip to content

Fix codegen panic for calls through a function pointer returning !#4647

Open
MavenRain wants to merge 1 commit into
model-checking:mainfrom
MavenRain:4577-fnptr-never-codegen
Open

Fix codegen panic for calls through a function pointer returning !#4647
MavenRain wants to merge 1 commit into
model-checking:mainfrom
MavenRain:4577-fnptr-never-codegen

Fix codegen panic for calls through a function pointer returning `!`

50dbdd7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar