@@ -1223,7 +1223,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
12231223
12241224 pragma [ nomagic]
12251225 private predicate directTypeMatch0 (
1226- Access a , AccessEnvironment e , Declaration target , DeclarationPosition dpos ,
1226+ Access a , DeclarationPosition dpos , AccessEnvironment e , Declaration target ,
12271227 TypePath pathToTypeParam , TypeParameter tp
12281228 ) {
12291229 not exists ( getTypeArgument ( a , target , tp , _) ) and
@@ -1240,7 +1240,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
12401240 Access a , AccessEnvironment e , Declaration target , TypePath path , Type t , TypeParameter tp
12411241 ) {
12421242 exists ( AccessPosition apos , DeclarationPosition dpos , TypePath pathToTypeParam |
1243- directTypeMatch0 ( a , e , target , dpos , pathToTypeParam , tp ) and
1243+ directTypeMatch0 ( a , dpos , e , target , pathToTypeParam , tp ) and
12441244 accessDeclarationPositionMatch ( apos , dpos ) and
12451245 t = a .getInferredType ( e , apos , pathToTypeParam .appendInverse ( path ) )
12461246 )
0 commit comments