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 | fe894756f83e12522be51bdba39267927dde3cc4 (patch) | |
| tree | 50e45d4091a5200cfae95a6b4ee1b3e59ebb4e0b /compiler/rustc_llvm/llvm-wrapper/ArchiveWrapper.cpp | |
| parent | 3e48434cc7041ac7c136d7bd1e7cadc3521f8abc (diff) | |
| download | rust-fe894756f83e12522be51bdba39267927dde3cc4.tar.gz rust-fe894756f83e12522be51bdba39267927dde3cc4.zip | |
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 'compiler/rustc_llvm/llvm-wrapper/ArchiveWrapper.cpp')
0 files changed, 0 insertions, 0 deletions