Declare some classes and methods @assumeSafe or @rejectSafe. We can't (currently) put in annotations directly since some of these come from Java and others first need a bootstrapped compiler that updates Feature.ccException to allow experimental @assumeSafe and @rejectSafe. Once we have an updated ccException in the bootstrap compiler, we could add annotations to library classes manually, as long as these library classes are capture checked.
Declare some classes and methods @assumeSafe or @rejectSafe. We can't (currently) put in annotations directly since some of these come from Java and others first need a bootstrapped compiler that updates Feature.ccException to allow experimental @assumeSafe and @rejectSafe. Once we have an updated ccException in the bootstrap compiler, we could add annotations to library classes manually, as long as these library classes are capture checked.
scala3-compiler-bootstrapped