diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2024-06-19 13:04:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-19 13:04:56 +0200 |
| commit | 25d47fe3885e962b489f04ba5f7cd3364d4e4ada (patch) | |
| tree | 72f5fb8cd291ccebdb10b2ed0404e55b70b13a1a /compiler/rustc_parse/src | |
| parent | 3c0f019b3c56c1a0e6e0cbed6f8a8b0b245e5665 (diff) | |
| parent | ba4510ece85018408627b2d3ceef1a3b7889cb71 (diff) | |
| download | rust-25d47fe3885e962b489f04ba5f7cd3364d4e4ada.tar.gz rust-25d47fe3885e962b489f04ba5f7cd3364d4e4ada.zip | |
Rollup merge of #125447 - oli-obk:eq_opaque_pred, r=compiler-errors
Allow constraining opaque types during subtyping in the trait system Previous attempt: https://github.com/rust-lang/rust/pull/123979 Sometimes we don't immediately perform subtyping, but instead register a subtyping obligation and solve that obligation when its inference variables become resolved. Unlike immediate subtyping, we currently do not allow registering hidden types for opaque types. This PR also allows that.
Diffstat (limited to 'compiler/rustc_parse/src')
0 files changed, 0 insertions, 0 deletions