Adapt tests for recent change in Exception type

Because of Rakudo change rakudo/rakudo#1073

Author: MasterDuke17

S06-signature/types.t

@@ -3,7 +3,7 @@ use lib <t/spec/packages>;
 use Test;
 use Test::Util;
 
-plan 18;
+plan 19;
 
 sub f($x) returns Int { return $x };
 
@@ -39,12 +39,30 @@ dies-ok  { g('m') },    'type check forbids bad implicit return';
 
 # RT #126124
 {
-    throws-like { sub f(Mu:D $a) {}; f(Int) }, Exception,
-        message => /'instance of type Mu' .+ 'type object'/,
-        'type shown in the exception message is the right one';
-    throws-like { sub f(Mu:U $a) {}; f(123) }, Exception,
-        message => /'object of type Mu' .+ 'object instance'/,
-        'type shown in the exception message is the right one';
+    throws-like { sub f(Mu:D $a) {}; f(Int) }, X::Parameter::InvalidConcreteness,
+        expected           => 'Mu',
+        got                => 'Int',
+        param              => '$a',
+		routine            => 'f',
+        should-be-concrete => 'True',
+        param-is-invocant  => 'False',
+        'expected and got types in the exception are the correct ones';
+    throws-like { sub f(Mu:U $a) {}; f(123) }, X::Parameter::InvalidConcreteness,
+        expected           => 'Mu',
+        got                => 'Int',
+        param              => '$a',
+		routine            => 'f',
+        should-be-concrete => 'False',
+        param-is-invocant  => 'False',
+        'expected and got types in the exception are the correct ones';
+    throws-like { UInt.abs }, X::Parameter::InvalidConcreteness,
+        expected           => 'Int',
+        got                => 'UInt',
+        param              => '<anon>',
+		routine            => 'abs',
+        should-be-concrete => 'True',
+        param-is-invocant  => 'True',
+        'expected and got types in the exception are the correct ones';
 }
 
 # RT #129279

S32-exceptions/misc.t

@@ -793,8 +793,10 @@ ok X::AdHoc.new.gist ~~ m:i/explain/,
     "X::AdHoc.new.gist mentions the word 'explain'";
 
 for <fail die throw rethrow resumable resume> -> $meth {
-    throws-like 'X::NYI.' ~ $meth, Exception,
-        message => rx/equire.*instance.*type\sobject/;
+    throws-like 'X::NYI.' ~ $meth, X::Parameter::InvalidConcreteness,
+        should-be-concrete => 'True',
+        param-is-invocant  => 'True',
+        routine            => $meth;
 }
 
 # RT #125642