Skip to content
GitLab

Use bottom type instead of abort in typecheck

Closed Jordy Aaldering requested to merge 2363-typecheck-bottom-instead-of-abort into develop

guard and afterguard are being combined after which this will be fixed. This PR is no longer necessary

Edited by Jordy Aaldering