Add failing test for cycle revalidation

This commit is contained in:
Florian Diebold 2021-03-20 15:34:33 +01:00 committed by Niko Matsakis
parent 2ae813e9ef
commit ae8348c4f1

View file

@ -122,6 +122,14 @@ fn inner_cycle() {
);
}
#[test]
fn cycle_revalidate() {
let mut db = DatabaseImpl::default();
assert!(db.cycle_a().is_err());
CycleLeafQuery.in_db_mut(&mut db).invalidate(&());
assert!(db.cycle_a().is_err());
}
#[test]
fn parallel_cycle() {
let _ = env_logger::try_init();