run tests

Author: auht

shared/src/test/diff/basics/Intersections.fun

@@ -42,46 +42,46 @@ not / foo(true)
 not / foo(1)
 foo(1) as Nothing
 //│ ╔══[ERROR] Type mismatch in application:
-//│ ║  l.39: 	not / foo(1)
+//│ ║  l.42: 	not / foo(1)
 //│ ║        	^^^^^^^^^^^^
 //│ ╟── application of type `int` is not an instance of type `bool`
-//│ ║  l.39: 	not / foo(1)
+//│ ║  l.42: 	not / foo(1)
 //│ ╙──      	      ^^^^^^
 //│ res: bool | error
 //│ ╔══[ERROR] Type mismatch in 'as' binding:
-//│ ║  l.40: 	foo(1) as Nothing
+//│ ║  l.43: 	foo(1) as Nothing
 //│ ║        	^^^^^^^^^^^^^^^^^
 //│ ╟── application of type `int` does not match type `nothing`
-//│ ║  l.40: 	foo(1) as Nothing
+//│ ║  l.43: 	foo(1) as Nothing
 //│ ║        	^^^^^^
 //│ ╟── Note: constraint arises from reference:
-//│ ║  l.40: 	foo(1) as Nothing
+//│ ║  l.43: 	foo(1) as Nothing
 //│ ╙──      	          ^^^^^^^
 //│ res: nothing
 
 :e
 foo as Nothing
 //│ ╔══[ERROR] Type mismatch in 'as' binding:
-//│ ║  l.60: 	foo as Nothing
+//│ ║  l.63: 	foo as Nothing
 //│ ║        	^^^^^^^^^^^^^^
 //│ ╟── type intersection of type `int -> int & bool -> bool` does not match type `nothing`
 //│ ║  l.26: 	let foo = (Int => Int) & (Bool => Bool)
 //│ ║        	          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 //│ ╟── but it flows into reference with expected type `nothing`
-//│ ║  l.60: 	foo as Nothing
+//│ ║  l.63: 	foo as Nothing
 //│ ║        	^^^
 //│ ╟── Note: constraint arises from reference:
-//│ ║  l.60: 	foo as Nothing
+//│ ║  l.63: 	foo as Nothing
 //│ ╙──      	       ^^^^^^^
 //│ res: nothing
 
 :e
 let oops = (&)
 //│ ╔══[ERROR] Illegal use of reserved operator: &
-//│ ║  l.76: 	let oops = (&)
+//│ ║  l.79: 	let oops = (&)
 //│ ╙──      	           ^^^
 //│ ╔══[ERROR] identifier not found: &
-//│ ║  l.76: 	let oops = (&)
+//│ ║  l.79: 	let oops = (&)
 //│ ╙──      	           ^^^
 //│ oops: error