feat: allow literal types as upper bounds of type parameters

Safe-DS / DSL

Statically checked Data Science programs.

https://dsl.safeds.com

MIT License

14 stars 0 forks source link

feat: allow literal types as upper bounds of type parameters #1102

Closed lars-reimann closed 5 months ago

lars-reimann commented 5 months ago

Closes #1081

Summary of Changes

Literal types can now be used as upper bounds of type parameters
Don't show an extra error if callable types or union types are used as upper bounds of type parameters. This is already checked elsewhere.

github-actions[bot] commented 5 months ago

🦙 MegaLinter status: ✅ SUCCESS

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ REPOSITORY	git_diff	yes		no	0.12s
✅ TYPESCRIPT	eslint	2	0	0	4.19s
✅ TYPESCRIPT	prettier	2	0	0	0.85s

See detailed report in MegaLinter reports _Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff_

_MegaLinter is graciously provided by _

codecov[bot] commented 5 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 100.00%. Comparing base (3021166) to head (3cce99a).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #1102 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 106 106 Lines 20797 20799 +2 Branches 4088 4090 +2 ========================================= + Hits 20797 20799 +2 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

lars-reimann commented 5 months ago

:tada: This PR is included in version 0.14.0 :tada:

The release is available on:

Your semantic-release bot :package::rocket: