diff options
| author | bors <bors@rust-lang.org> | 2022-06-29 03:22:47 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-06-29 03:22:47 +0000 |
| commit | 116edb6800ea1d6615578e7f65366ae65364b3d8 (patch) | |
| tree | 771faa6deda034169f91a304e2392489fefa2bc7 /compiler/rustc_codegen_llvm/src/builder.rs | |
| parent | 126e3df4065623802eda752e79839d1b6fde59be (diff) | |
| parent | bd298adcd472256cef028b37e34ee1965eaf81a3 (diff) | |
| download | rust-116edb6800ea1d6615578e7f65366ae65364b3d8.tar.gz rust-116edb6800ea1d6615578e7f65366ae65364b3d8.zip | |
Auto merge of #98542 - jackh726:coinductive-wf, r=oli-obk
Make empty bounds lower to `WellFormed` and make `WellFormed` coinductive r? rust-lang/types
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/builder.rs')
0 files changed, 0 insertions, 0 deletions
