Code

Lazy type-alias-impl-trait#92007

Code

Merged

bors merged 53 commits intorust-lang:masterrust-lang/rust:masterfrom oli-obk:lazy_tait2oli-obk/rust:lazy_tait2Copy head branch name to clipboardFeb 8, 2022

+3,306-2,442

Commits

Commits on Feb 2, 2022

• Add roll back infrastructure for opaque type caches

  oli-obk

  committed
  d49b074

  Copy full SHA for d49b074

• Add some sanity assertions to make sure we use the opaque types correctly

  oli-obk

  committed
  a4c1cec

  Copy full SHA for a4c1cec

• Update some comments

  oli-obk

  committed
  bbbdcb3

  Copy full SHA for bbbdcb3

• Found suspicious comparison of constants

  oli-obk

  committed
  4e1a596

  Copy full SHA for 4e1a596

• Add a convenient way to inject rustc flags somewhere late in the bootstrap pipeline without causing rebuilds

  Show description for 47a6a24
  oli-obk

  committed
  47a6a24

  Copy full SHA for 47a6a24

• Expose current span to type equality checking in nll

  oli-obk

  committed
  f7abc1b

  Copy full SHA for f7abc1b

• More sanity checks

  oli-obk

  committed
  8d2b598

  Copy full SHA for 8d2b598

• Lazily resolve type-alias-impl-trait defining uses

  Show description for 0f6e06b
  oli-obk

  committed
  0f6e06b

  Copy full SHA for 0f6e06b

• bless

  oli-obk

  committed
  9110911

  Copy full SHA for 9110911

• Register member constraints on the final merged hidden type

  Show description for 7bce50c
  oli-obk

  committed
  7bce50c

  Copy full SHA for 7bce50c

• Stop generating inference vars for nested impl trait and let type equality handle it.

  Show description for a745797
  oli-obk

  committed
  a745797

  Copy full SHA for a745797

• Eagerly merge hidden types.

  oli-obk

  committed
  38f50d1

  Copy full SHA for 38f50d1

• Clean up leftovers from eager hidden type merging

  oli-obk

  committed
  edaf962

  Copy full SHA for edaf962

• Add backcompat hack to support

  Show description for 64c5b9a
  oli-obk

  committed
  64c5b9a

  Copy full SHA for 64c5b9a

• Add explanation for early abort in TAIT hidden type computation

  oli-obk

  committed
  7795f62

  Copy full SHA for 7795f62

• Test recursive TAIT declarations

  oli-obk

  committed
  77aacc1

  Copy full SHA for 77aacc1

• Update an outdated test explanation

  oli-obk

  committed
  cbfd736

  Copy full SHA for cbfd736

• Add some tests to show what happens when you compare two opaque types that are both within the defining scope

  oli-obk

  committed
  5a374dc

  Copy full SHA for 5a374dc

• We're equating hidden types eagerly now

  oli-obk

  committed
  3146c96

  Copy full SHA for 3146c96

• This can't happen anymore. An opaque type can't end up with itself as its hidden type

  oli-obk

  committed
  94d6a9a

  Copy full SHA for 94d6a9a

• Fixup changes that aren't neccessary anymore

  oli-obk

  committed
  2247778

  Copy full SHA for 2247778

• Inline a function that is only ever used in one place

  oli-obk

  committed
  e03edd2

  Copy full SHA for e03edd2

• Remove the Instantiator now that we don't recurse within it anymore

  oli-obk

  committed
  fcba8d3

  Copy full SHA for fcba8d3

• Remove unnecessary closure in favour of just passing the argument directly

  oli-obk

  committed
  5b49b8e

  Copy full SHA for 5b49b8e

• Remove unnecessary field

  oli-obk

  committed
  d35d1ef

  Copy full SHA for d35d1ef

• Inline a function that is only used once

  oli-obk

  committed
  b45fabd

  Copy full SHA for b45fabd

• Undo a diff

  oli-obk

  committed
  dbda675

  Copy full SHA for dbda675

• Simplify diff

  oli-obk

  committed
  d8c29b3

  Copy full SHA for d8c29b3

• manual formatting

  oli-obk

  committed
  d3b534b

  Copy full SHA for d3b534b

• Make a comment more obvious

  oli-obk

  committed
  dc36b38

  Copy full SHA for dc36b38

• Remove some unused arguments and update a comment

  oli-obk

  committed
  3d4b9b8

  Copy full SHA for 3d4b9b8

• Remove a now-useless field

  oli-obk

  committed
  c564898

  Copy full SHA for c564898

• Undo a change that is now unnecessary

  oli-obk

  committed
  e4794d9

  Copy full SHA for e4794d9

• Hide further opaque type errors if items that could constrain the opaque type have errors

  oli-obk

  committed
  b6d57ec

  Copy full SHA for b6d57ec

• undo a useless change

  oli-obk

  committed
  7fd9c7e

  Copy full SHA for 7fd9c7e

• Guess head span of async blocks

  oli-obk

  committed
  5518d19

  Copy full SHA for 5518d19

• Make a span more useful

  oli-obk

  committed
  4d2e965

  Copy full SHA for 4d2e965

• Make the error for opaque types that have no hidden types a bit informative

  oli-obk

  committed
  29c8732

  Copy full SHA for 29c8732

• Bail out early if there already were errors

  oli-obk

  committed
  6560d77

  Copy full SHA for 6560d77

• Reduce follow-up errors that are not helpful

  oli-obk

  committed
  59d0bff

  Copy full SHA for 59d0bff

• run rustfmt

  oli-obk

  committed
  ee2158f

  Copy full SHA for ee2158f

• Add regression test

  oli-obk

  committed
  ebf2772

  Copy full SHA for ebf2772

• Avoid an ICE in the presence of HKL

  oli-obk

  committed
  7a1ccf9

  Copy full SHA for 7a1ccf9

• Ensure we error in case of non-higher-kinded lifetimes

  oli-obk

  committed
  bae04fb

  Copy full SHA for bae04fb

• Prevent two opaque types in their defining scopes from being defined via the other

  oli-obk

  committed
  7f608eb

  Copy full SHA for 7f608eb

• Only prevent TAITs from defining each other, RPIT and async are fine, they only ever have one defining site, and it is ordered correctly around expected and actual type in type comparisons

  oli-obk

  committed
  be153f0

  Copy full SHA for be153f0

• Fix some doctests where the main function returns an opaque type

  oli-obk

  committed
  d9bb93f

  Copy full SHA for d9bb93f

Commits on Feb 3, 2022

• Clean up opaque type obligations in query results

  oli-obk

  committed
  d526a8d

  Copy full SHA for d526a8d

• Add tests for lifetime-swaps, not just type param swaps

  oli-obk

  committed
  80c7b61

  Copy full SHA for 80c7b61

• Add some new tests with amusing diagnostics

  oli-obk

  committed
  6807d37

  Copy full SHA for 6807d37

• Improve self-referential diagnostic somewhat

  oli-obk

  committed
  7546163

  Copy full SHA for 7546163

Commits on Feb 7, 2022

• Print opaque types from type aliases via their path

  oli-obk

  committed
  c93f571

  Copy full SHA for c93f571

• Add a test showing that we don't infer across multiple uses of the same opaque type but with a different order of generic arguments

  oli-obk

  committed
  9822fff

  Copy full SHA for 9822fff