Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
sac-group
sac2c
Merge requests
Open
3
Merged
20
Closed
1
All
24
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
Add exactly which pre- or post-condition failed in type pattern error message
!373
· created
Apr 01, 2025
by
quinten-cabo
error-messages
type-pattern
1
updated
Apr 01, 2025
Add #pragma safe
!361
· created
Feb 28, 2025
by
quinten-cabo
enhancement
parser
type-pattern
2
updated
Mar 04, 2025
Always generate an `impl` wrapper, even if the function does not have type patterns
!358
· created
Feb 24, 2025
by
Jordy Aaldering
type-pattern
Approved
1
updated
Mar 21, 2025