iDawer 970276b559 'inference': collect RPIT obligations ...

Collect obligations from RPITs (Return Position `impl Trait`) of a function which is being inferred.
This allows inferring {unknown}s from RPIT bounds.

2022-05-03 15:59:12 +05:00

..

src

'inference': collect RPIT obligations

2022-05-03 15:59:12 +05:00

Cargo.toml

style: rename crates to kebab case

2022-05-01 10:48:58 +00:00