@@ -3203,6 +3203,10 @@ class TypeSystemTest extends AbstractTypeSystemTest {
     );
   }
 
+  test_isPotentiallyNonNullable_never() {
+    expect(typeSystem.isPotentiallyNonNullable(neverType), true);
+  }
+
   test_isPotentiallyNonNullable_none() {
     expect(typeSystem.isPotentiallyNonNullable(noneType), true);
   }
@@ -3254,6 +3258,10 @@ class TypeSystemTest extends AbstractTypeSystemTest {
     );
   }
 
+  test_isPotentiallyNullable_never() {
+    expect(typeSystem.isPotentiallyNullable(neverType), false);
+  }
+
   test_isPotentiallyNullable_none() {
     expect(typeSystem.isPotentiallyNullable(noneType), false);
   }
Original file line number	Diff line number	Diff line change
`@@ -3203,6 +3203,10 @@ class TypeSystemTest extends AbstractTypeSystemTest {`
`3203`	`3203`	`);`
`3204`	`3204`	`}`
`3205`	`3205`
	`3206`	`+ test_isPotentiallyNonNullable_never() {`
	`3207`	`+ expect(typeSystem.isPotentiallyNonNullable(neverType), true);`
	`3208`	`+ }`
	`3209`	`+`
`3206`	`3210`	`test_isPotentiallyNonNullable_none() {`
`3207`	`3211`	`expect(typeSystem.isPotentiallyNonNullable(noneType), true);`
`3208`	`3212`	`}`
`@@ -3254,6 +3258,10 @@ class TypeSystemTest extends AbstractTypeSystemTest {`
`3254`	`3258`	`);`
`3255`	`3259`	`}`
`3256`	`3260`
	`3261`	`+ test_isPotentiallyNullable_never() {`
	`3262`	`+ expect(typeSystem.isPotentiallyNullable(neverType), false);`
	`3263`	`+ }`
	`3264`	`+`
`3257`	`3265`	`test_isPotentiallyNullable_none() {`
`3258`	`3266`	`expect(typeSystem.isPotentiallyNullable(noneType), false);`
`3259`	`3267`	`}`