diff options
| author | Takayuki Maeda <takoyaki0316@gmail.com> | 2023-06-26 23:16:16 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-26 23:16:16 +0900 |
| commit | c6a4d449775bc12ae9fabd0b45849fd9103977ab (patch) | |
| tree | 4d313daf0596a5329c028a30ad2620561de3f28a /compiler/rustc_infer/src/traits/util.rs | |
| parent | 27e10c5292eee22abef69aed7144f80bdea00603 (diff) | |
| parent | 64ee0f74eb4d724e87601fea4bd6b18377289fa2 (diff) | |
| download | rust-c6a4d449775bc12ae9fabd0b45849fd9103977ab.tar.gz rust-c6a4d449775bc12ae9fabd0b45849fd9103977ab.zip | |
Rollup merge of #112677 - the8472:remove-unusued-field, r=JohnTitor
remove unused field Followup to #104455. The field is no longer needed since ExtractIf (previously DrainFilter) doesn't keep draining in its drop impl.
Diffstat (limited to 'compiler/rustc_infer/src/traits/util.rs')
0 files changed, 0 insertions, 0 deletions