Code

[WIP] Never type experiments#84573

Code

Closed

Mark-Simulacrum wants to merge 17 commits intorust-lang:masterrust-lang/rust:masterfrom Mark-Simulacrum:never-type-fallback-newMark-Simulacrum/rust:never-type-fallback-newCopy head branch name to clipboard

+1,469-894

Commits

Commits on Aug 30, 2021

• Move TyVid to rustc_index

  Mark-Simulacrum

  committed
  0be0bfc

• introduce new fallback algorithm

  Show description for cf56389
  

  nikomatsakis

  authored and

  Mark-Simulacrum

  committed
  cf56389

• remove diverging type variables from fn check

  Show description for ac195c7
  

  nikomatsakis

  authored and

  Mark-Simulacrum

  committed
  ac195c7

• remove reliance on "diverging" type variables

  Show description for f54591f
  

  nikomatsakis

  authored and

  Mark-Simulacrum

  committed
  f54591f

• stop categorizing inference variables as diverging when created

  Show description for 543b241
  

  nikomatsakis

  authored and

  Mark-Simulacrum

  committed
  543b241

• fix bug in DepthFirstSearch where start node was not visited

  Show description for 141246c
  

  nikomatsakis

  authored and

  Mark-Simulacrum

  committed
  141246c

• optimization: use a single DepthFirstSearch instead of hashsets

  Show description for c48ee1c
  

  nikomatsakis

  authored and

  Mark-Simulacrum

  committed
  c48ee1c

• stabilize never type

  Mark-Simulacrum

  committed
  9a332c8

• WIP: make Infallible an alias for !

  

  nikomatsakis

  authored and

  Mark-Simulacrum

  committed
  be24f7b

• v2 of fallback algo

  Mark-Simulacrum

  committed
  7531f59

• v2 algorithm, with the custom if in output obligations rule

  Mark-Simulacrum

  committed
  26403a2

• Adjust self-type to require equality

  Mark-Simulacrum

  committed
  a9903a2

• Rebase tests

  Mark-Simulacrum

  committed
  a963d8d

• Remove breakage example

  Mark-Simulacrum

  committed
  73e9259

• clippy

  Mark-Simulacrum

  committed
  c4532c0

• Relate type variables during predicate registration

  Show description for 5a8bcf9
  Mark-Simulacrum

  committed
  5a8bcf9

• Utilize coercion information to guide never type fallback

  Show description for 40d1e69
  Mark-Simulacrum

  committed
  40d1e69