Florian Diebold 7ec3b66f7a Turn Obligation into something similar to chalk_ir::DomainGoal ...

This includes starting to make use of Chalk's `Cast` trait.

2021-03-20 12:47:12 +01:00

..

src

Turn Obligation into something similar to chalk_ir::DomainGoal

2021-03-20 12:47:12 +01:00

Cargo.toml

Enable thread-local coverage marks

2021-03-15 16:02:50 +02:00