ahmido
1fec9c6f9d
Some checks failed
Main Confidence / confidence (push) Failing after 45s
## Summary - introduce surface-aware compressed governance outcomes and reuse the shared truth/explanation seams for operator-first summaries - apply the compressed outcome hierarchy across baseline, evidence, review, review-pack, canonical review/evidence, and artifact-oriented operation-run surfaces - expand spec 214 fixtures and Pest coverage, and fix tenant-panel route assertions by generating explicit tenant-panel URLs in the affected Filament tests ## Validation - `cd apps/platform && ./vendor/bin/sail bin pint --dirty --format agent` - focused governance compression suite from `specs/214-governance-outcome-compression/quickstart.md` passed (`68` tests, `445` assertions) - `cd apps/platform && ./vendor/bin/sail artisan test --compact tests/Feature/Filament/InventoryItemResourceTest.php tests/Feature/Filament/BackupSetUiEnforcementTest.php tests/Feature/Filament/RestoreRunUiEnforcementTest.php` passed (`18` tests, `81` assertions) Co-authored-by: Ahmed Darrazi <ahmed.darrazi@live.de> Reviewed-on: #253
65 lines
2.2 KiB
Plaintext
65 lines
2.2 KiB
Plaintext
type RemoveFromTuple<
|
|
Tuple extends readonly unknown[],
|
|
RemoveCount extends number,
|
|
Index extends 1[] = []
|
|
> = Index["length"] extends RemoveCount
|
|
? Tuple
|
|
: Tuple extends [infer First, ...infer Rest]
|
|
? RemoveFromTuple<Rest, RemoveCount, [...Index, 1]>
|
|
: Tuple;
|
|
|
|
type ConcatTuples<
|
|
Prefix extends readonly unknown[],
|
|
Suffix extends readonly unknown[]
|
|
> = [...Prefix, ...Suffix];
|
|
|
|
type ExtractFunctionParams<T> = T extends (this: infer TThis, ...args: infer P extends readonly unknown[]) => infer R
|
|
? { thisArg: TThis; params: P; returnType: R }
|
|
: never;
|
|
|
|
type BindFunction<
|
|
T extends (this: any, ...args: any[]) => any,
|
|
TThis,
|
|
TBoundArgs extends readonly unknown[],
|
|
ReceiverBound extends boolean
|
|
> = ExtractFunctionParams<T> extends {
|
|
thisArg: infer OrigThis;
|
|
params: infer P extends readonly unknown[];
|
|
returnType: infer R;
|
|
}
|
|
? ReceiverBound extends true
|
|
? (...args: RemoveFromTuple<P, Extract<TBoundArgs["length"], number>>) => R extends [OrigThis, ...infer Rest]
|
|
? [TThis, ...Rest] // Replace `this` with `thisArg`
|
|
: R
|
|
: <U, RemainingArgs extends RemoveFromTuple<P, Extract<TBoundArgs["length"], number>>>(
|
|
thisArg: U,
|
|
...args: RemainingArgs
|
|
) => R extends [OrigThis, ...infer Rest]
|
|
? [U, ...ConcatTuples<TBoundArgs, Rest>] // Preserve bound args in return type
|
|
: R
|
|
: never;
|
|
|
|
declare function callBind<
|
|
const T extends (this: any, ...args: any[]) => any,
|
|
Extracted extends ExtractFunctionParams<T>,
|
|
const TBoundArgs extends Partial<Extracted["params"]> & readonly unknown[],
|
|
const TThis extends Extracted["thisArg"]
|
|
>(
|
|
args: [fn: T, thisArg: TThis, ...boundArgs: TBoundArgs]
|
|
): BindFunction<T, TThis, TBoundArgs, true>;
|
|
|
|
declare function callBind<
|
|
const T extends (this: any, ...args: any[]) => any,
|
|
Extracted extends ExtractFunctionParams<T>,
|
|
const TBoundArgs extends Partial<Extracted["params"]> & readonly unknown[]
|
|
>(
|
|
args: [fn: T, ...boundArgs: TBoundArgs]
|
|
): BindFunction<T, Extracted["thisArg"], TBoundArgs, false>;
|
|
|
|
declare function callBind<const TArgs extends readonly unknown[]>(
|
|
args: [fn: Exclude<TArgs[0], Function>, ...rest: TArgs]
|
|
): never;
|
|
|
|
// export as namespace callBind;
|
|
export = callBind;
|