todo!() -> unimplemented!() // FIXME for CI

This commit is contained in:
Casey Primozic 2020-10-06 15:19:34 -07:00
parent 56a8a7645f
commit f40e86e141
No known key found for this signature in database
GPG Key ID: 2A02222DA3425B99
2 changed files with 5 additions and 3 deletions

View File

@ -334,13 +334,15 @@ impl<'a> chalk_solve::RustIrDatabase<Interner> for ChalkContext<'a> {
&self,
_: chalk_ir::GeneratorId<Interner>,
) -> std::sync::Arc<chalk_solve::rust_ir::GeneratorDatum<Interner>> {
todo!()
// FIXME
unimplemented!()
}
fn generator_witness_datum(
&self,
_: chalk_ir::GeneratorId<Interner>,
) -> std::sync::Arc<chalk_solve::rust_ir::GeneratorWitnessDatum<Interner>> {
todo!()
// FIXME
unimplemented!()
}
}

View File

@ -399,7 +399,7 @@ impl ToChalk for TypeCtor {
// this should not be reached, since we don't represent TypeName::Error with TypeCtor
unreachable!()
}
_ => todo!(),
_ => unimplemented!(), // FIXME
}
}
}