diff options
author | Casey Primozic <[email protected]> | 2020-10-06 23:19:34 +0100 |
---|---|---|
committer | Casey Primozic <[email protected]> | 2020-10-06 23:19:34 +0100 |
commit | f40e86e1412206dd3b097ef9bd0c22fd1c358293 (patch) | |
tree | ae68aac3703ee4f3614ea4343bd0335854b98b85 | |
parent | 56a8a7645f9d6c872e9598b5a2617805f387e2a6 (diff) |
`todo!()` -> `unimplemented!() // FIXME` for CI
-rw-r--r-- | crates/hir_ty/src/traits/chalk.rs | 6 | ||||
-rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/crates/hir_ty/src/traits/chalk.rs b/crates/hir_ty/src/traits/chalk.rs index 980218162..cbe5cd7dd 100644 --- a/crates/hir_ty/src/traits/chalk.rs +++ b/crates/hir_ty/src/traits/chalk.rs | |||
@@ -334,13 +334,15 @@ impl<'a> chalk_solve::RustIrDatabase<Interner> for ChalkContext<'a> { | |||
334 | &self, | 334 | &self, |
335 | _: chalk_ir::GeneratorId<Interner>, | 335 | _: chalk_ir::GeneratorId<Interner>, |
336 | ) -> std::sync::Arc<chalk_solve::rust_ir::GeneratorDatum<Interner>> { | 336 | ) -> std::sync::Arc<chalk_solve::rust_ir::GeneratorDatum<Interner>> { |
337 | todo!() | 337 | // FIXME |
338 | unimplemented!() | ||
338 | } | 339 | } |
339 | fn generator_witness_datum( | 340 | fn generator_witness_datum( |
340 | &self, | 341 | &self, |
341 | _: chalk_ir::GeneratorId<Interner>, | 342 | _: chalk_ir::GeneratorId<Interner>, |
342 | ) -> std::sync::Arc<chalk_solve::rust_ir::GeneratorWitnessDatum<Interner>> { | 343 | ) -> std::sync::Arc<chalk_solve::rust_ir::GeneratorWitnessDatum<Interner>> { |
343 | todo!() | 344 | // FIXME |
345 | unimplemented!() | ||
344 | } | 346 | } |
345 | } | 347 | } |
346 | 348 | ||
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs index 140b20213..31c902de6 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs | |||
@@ -399,7 +399,7 @@ impl ToChalk for TypeCtor { | |||
399 | // this should not be reached, since we don't represent TypeName::Error with TypeCtor | 399 | // this should not be reached, since we don't represent TypeName::Error with TypeCtor |
400 | unreachable!() | 400 | unreachable!() |
401 | } | 401 | } |
402 | _ => todo!(), | 402 | _ => unimplemented!(), // FIXME |
403 | } | 403 | } |
404 | } | 404 | } |
405 | } | 405 | } |