lint: hold typed Promise.reject calls to the same rule

A type argument wraps the call in an instantiation expression the untyped pattern does not reach, as rule-gate.grit already pairs for refine(); the typed one-argument and zero-argument forms now sit beside the untyped ones, with fixture cases for each.

Author: Vivswan

lint/never-throw.grit

@@ -20,8 +20,10 @@
 or {
   `throw $arg` as $site,
   `Promise.reject($arg)` as $site,
+  `Promise.reject<$_>($arg)` as $site,
   // No argument: a rejection with no reason is never a BUG: invariant or a rethrow.
-  `Promise.reject()` as $site where { $arg = `undefined` }
+  `Promise.reject()` as $site where { $arg = `undefined` },
+  `Promise.reject<$_>()` as $site where { $arg = `undefined` }
 } where {
   not or {
     and {

test/lint/never-throw.test.ts

@@ -300,6 +300,9 @@ export function rejections(ok: boolean, error: unknown): Promise<void> {
   if (ok) return Promise.reject(new Error("BUG: rejections() was handed ok"));
   if (error === null) return Promise.reject(new Error("x")); // outside
   if (error === 0) return Promise.reject(); // outside
+  if (error === 1) return Promise.reject<void>(); // outside
+  if (error === 2) return Promise.reject<void>(new Error("x")); // outside
+  if (error === 3) return Promise.reject<void>(new Error("BUG: rejections() was handed 3"));
   return Promise.reject(error); // outside
 }
 export function rejectsTheCatchBinding(run: () => Promise<void>): Promise<void> {