diff options
| author | Michael Goulet <michael@errs.io> | 2022-08-02 06:02:04 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-08-04 13:50:56 +0000 |
| commit | ccbc96508a5ff373f960ec0d904e1be41ad8c978 (patch) | |
| tree | 00b1d23bb275fb62b455321a4d0978602c945229 /clippy_lints/src/methods | |
| parent | 7aaeee734fd1c68ddf27464e3f68caa77c98c0b2 (diff) | |
Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`
It spawns up a trait engine, registers the single obligation, then fully solves it
Diffstat (limited to 'clippy_lints/src/methods')
0 files changed, 0 insertions, 0 deletions