Make throw of qualified type an error

Author: thewilsonator

changelog/dmd.deprecations.dd

@@ -1,3 +1,5 @@
 Many deprections have been turned in errors
 
 Using `return` statements in scope guards is now an error (in addition to contracts and `try...finally`)
+
+Throwing `Throwable`s of qualified types

compiler/src/dmd/statementsem.d

@@ -3942,10 +3942,8 @@ public bool throwSemantic(Loc loc, ref Expression exp, Scope* sc)
         return false;
     if (!exp.type.isNaked)
     {
-        // @@@DEPRECATED_2.112@@@
-        // Deprecated in 2.102, change into an error & return false in 2.112
-        eSink.deprecation(exp.loc, "cannot throw object of qualified type `%s`", exp.type.toErrMsg());
-        //return false;
+        eSink.error(exp.loc, "cannot throw object of qualified type `%s`", exp.type.toErrMsg());
+        return false;
     }
     checkThrowEscape(*sc, exp, false);
 

compiler/test/fail_compilation/ice10651.d

@@ -2,8 +2,8 @@
 TEST_OUTPUT:
 ---
 fail_compilation/ice10651.d(13): Error: can only throw class objects derived from `Throwable`, not type `int*`
-fail_compilation/ice10651.d(19): Deprecation: cannot throw object of qualified type `immutable(Exception)`
-fail_compilation/ice10651.d(20): Deprecation: cannot throw object of qualified type `const(Dummy)`
+fail_compilation/ice10651.d(19): Error: cannot throw object of qualified type `immutable(Exception)`
+fail_compilation/ice10651.d(20): Error: cannot throw object of qualified type `const(Dummy)`
 ---
 */