Exception.stub - better getTrace() return type

Author: keradus

stubs/Exception.stub

@@ -27,7 +27,7 @@ interface Throwable
 	public function getLine();
 
 	/**
-	 * @return list<array{function:string,line?:int,file?:string,class?:class-string,type?:'::'|'->',args?:mixed[],object?:object}>
+	 * @return list<array{function:string,line?:int,file?:string,class?:class-string,type?:'::'|'->',args?:list<mixed>,object?:object}>
 	 * @throws void
 	 */
 	public function getTrace();
@@ -78,7 +78,7 @@ class Exception implements Throwable
 	final public function getLine(): int {}
 
 	/**
-	 * @return list<array{function:string,line?:int,file?:string,class?:class-string,type?:'::'|'->',args?:mixed[],object?:object}>
+	 * @return list<array{function:string,line?:int,file?:string,class?:class-string,type?:'::'|'->',args?:list<mixed>,object?:object}>
 	 * @throws void
 	 */
 	final public function getTrace(): array {}
@@ -125,7 +125,7 @@ class Error implements Throwable
 	final public function getLine(): int {}
 
 	/**
-	 * @return list<array{function:string,line?:int,file?:string,class?:class-string,type?:'::'|'->',args?:mixed[],object?:object}>
+	 * @return list<array{function:string,line?:int,file?:string,class?:class-string,type?:'::'|'->',args?:list<mixed>,object?:object}>
 	 * @throws void
 	 */
 	final public function getTrace(): array {}