Safe-DS / DSL

Statically checked Data Science programs.
https://dsl.safeds.com
MIT License
11 stars 0 forks source link

feat: do not check whether optional type parameters of classes can be inferred #1090

Closed lars-reimann closed 2 months ago

lars-reimann commented 2 months ago

Closes #1084

Summary of Changes

Optional type parameters of classes are now always allowed, even if they can never be inferred from their usage in the constructor.

This is useful to initialize them to some default value upon instantiation and override this value later, e.g. in return types of functions. See #1084 for an example.

github-actions[bot] commented 2 months ago

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ REPOSITORY git_diff yes no 0.12s
✅ TYPESCRIPT eslint 1 0 0 4.11s
✅ TYPESCRIPT prettier 1 0 0 0.77s

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 OX Security_

codecov[bot] commented 2 months ago

Codecov Report

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

Project coverage is 100.00%. Comparing base (09faaf0) to head (e4414b5).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1090 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 104 104 Lines 20595 20599 +4 Branches 4069 4069 ========================================= + Hits 20595 20599 +4 ```

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

lars-reimann commented 2 months ago

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

The release is available on:

Your semantic-release bot :package::rocket: