diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-03-24 07:13:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-24 07:13:37 +0100 |
| commit | 7bd86cee49c5643ccc0556ffe019c9711c9fff95 (patch) | |
| tree | 054ed48def3f54a386ceeb7ab37cfc9e12bb0820 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | d626f5bc6631b1f694ab972c53316aebdae22842 (diff) | |
| parent | 78c178bcda3589affb0f4ffa248398cfca08c98f (diff) | |
| download | rust-7bd86cee49c5643ccc0556ffe019c9711c9fff95.tar.gz rust-7bd86cee49c5643ccc0556ffe019c9711c9fff95.zip | |
Rollup merge of #70213 - eddyb:stalled-on-ty-or-const, r=nikomatsakis
traits/fulfill: allow `stalled_on` to track `ty::Const::Infer(_)` (unused yet). This PR addresses the representation side of #70180, but only *actually collects* `ty::Infer`s via `Ty::walk` into `stalled_on` (collecting `ty::ConstKind::Infer`s requires #70164). However, it should be enough to handle #70107's needs (WF obligations are stalled only on the outermost type/const being an inference variable, no `walk`-ing is involved). This is my second attempt, see #70181 for the previous one, which unacceptably regressed perf. r? @nikomatsakis cc @nnethercote
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions