$this is not available in loaded file

dg · dg · commit d2a100e1f5ca · 2019-12-26T23:32:02.000+01:00
diff --git a/src/RobotLoader/RobotLoader.php b/src/RobotLoader/RobotLoader.php
@@ -111,7 +111,7 @@ public function tryLoad(string $type): void
 		}
 
 		if ($info) {
-			(function ($file) { require $file; })($info['file']);
+			(static function ($file) { require $file; })($info['file']);
 		}
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -111,7 +111,7 @@ public function tryLoad(string $type): void`
`111`	`111`	`}`
`112`	`112`
`113`	`113`	`if ($info) {`
`114`		`- (function ($file) { require $file; })($info['file']);`
	`114`	`+ (static function ($file) { require $file; })($info['file']);`
`115`	`115`	`}`
`116`	`116`	`}`
`117`	`117`