Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable nullable reference types by default #9964

Open
Youssef1313 opened this issue Sep 26, 2022 · 1 comment · May be fixed by #12782
Open

Enable nullable reference types by default #9964

Youssef1313 opened this issue Sep 26, 2022 · 1 comment · May be fixed by #12782
Assignees
Labels
area/contributor-experience Categorizes an issue or PR as relevant to contributor experience. difficulty/starter 🚀 Categorizes an issue for which the difficulty level is reachable by newcomers kind/enhancement New feature or request

Comments

@Youssef1313
Copy link
Member

Currently, the default is that NRT is disabled, and we opt-in the analysis with #nullable enable.

The ask here is to move to NRT enabled by default and opt-out with #nullable disable.

@jeromelaban What do you think?

@Youssef1313 Youssef1313 added difficulty/tbd Categorizes an issue for which the difficulty level needs to be defined. kind/enhancement New feature or request triage/untriaged Indicates an issue requires triaging or verification labels Sep 26, 2022
@jeromelaban
Copy link
Member

This would be the required change indeed. If we do this, we'll have to do it with one PR per project to avoid a very large change.

@jeromelaban jeromelaban removed the triage/untriaged Indicates an issue requires triaging or verification label Dec 2, 2022
@Youssef1313 Youssef1313 linked a pull request Jul 6, 2023 that will close this issue
6 tasks
@MartinZikmund MartinZikmund added difficulty/starter 🚀 Categorizes an issue for which the difficulty level is reachable by newcomers area/contributor-experience Categorizes an issue or PR as relevant to contributor experience. and removed difficulty/tbd Categorizes an issue for which the difficulty level needs to be defined. labels Aug 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/contributor-experience Categorizes an issue or PR as relevant to contributor experience. difficulty/starter 🚀 Categorizes an issue for which the difficulty level is reachable by newcomers kind/enhancement New feature or request
Projects
None yet
3 participants