Change order of test that inspects known_contains

Only the location-insensitive variant computes this relation

Author: ecstatic-morse

src/test.rs

@@ -650,17 +650,17 @@ fn transitive_known_subset() {
 
     assert_eq!(checker.facts.universal_region.len(), 3);
     assert_eq!(checker.facts.placeholder.len(), 3);
+    assert_eq!(checker.subset_errors_count(), 0);
+
+    assert_checkers_match(&checker, &opt_checker_for(program));
+
+    let noloc = location_insensitive_checker_for(program);
 
     // the 2 `known_placeholder_subset`s here mean 3 `known_contains`, transitively
-    assert_eq!(checker.facts.known_placeholder_subset.len(), 2);
-    assert_eq!(checker.output.known_contains.len(), 3);
+    assert_eq!(noloc.facts.known_placeholder_subset.len(), 2);
+    assert_eq!(noloc.output.known_contains.len(), 3);
 
-    assert_eq!(checker.subset_errors_count(), 0);
-    assert_eq!(
-        location_insensitive_checker_for(program).subset_errors_count(),
-        0
-    );
-    assert_checkers_match(&checker, &opt_checker_for(program));
+    assert_eq!(noloc.subset_errors_count(), 0);
 }
 
 /// Even if `'a: 'b` is known, `'a`'s placeholder loan can flow into `'b''s supersets,