Skip to content

[WIP] Never type experiments #84573

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 17 commits into from
Closed

[WIP] Never type experiments #84573

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
0be0bfc
Move TyVid to rustc_index
Mark-Simulacrum Aug 30, 2021
cf56389
introduce new fallback algorithm
nikomatsakis Nov 22, 2020
ac195c7
remove diverging type variables from fn check
nikomatsakis Nov 23, 2020
f54591f
remove reliance on "diverging" type variables
nikomatsakis Nov 23, 2020
543b241
stop categorizing inference variables as diverging when created
nikomatsakis Nov 23, 2020
141246c
fix bug in `DepthFirstSearch` where start node was not visited
nikomatsakis Nov 23, 2020
c48ee1c
optimization: use a single DepthFirstSearch instead of hashsets
nikomatsakis Nov 23, 2020
9a332c8
stabilize never type
Mark-Simulacrum Apr 26, 2021
be24f7b
WIP: make Infallible an alias for !
nikomatsakis Nov 29, 2020
7531f59
v2 of fallback algo
Mark-Simulacrum Apr 26, 2021
26403a2
v2 algorithm, with the custom if in output obligations rule
Mark-Simulacrum May 5, 2021
a9903a2
Adjust self-type to require equality
Mark-Simulacrum May 20, 2021
a963d8d
Rebase tests
Mark-Simulacrum May 20, 2021
73e9259
Remove breakage example
Mark-Simulacrum May 21, 2021
c4532c0
clippy
Mark-Simulacrum May 24, 2021
5a8bcf9
Relate type variables during predicate registration
Mark-Simulacrum Jul 4, 2021
40d1e69
Utilize coercion information to guide never type fallback
Mark-Simulacrum Jul 5, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 0 additions & 3 deletions compiler/rustc_ast_passes/src/feature_gate.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -437,9 +437,6 @@ impl<'a> Visitor<'a> for PostExpansionVisitor<'a> {
ast::TyKind::BareFn(ref bare_fn_ty) => {
self.check_extern(bare_fn_ty.ext);
}
ast::TyKind::Never => {
gate_feature_post!(&self, never_type, ty.span, "the `!` type is experimental");
}
_ => {}
}
visit::walk_ty(self, ty)
Expand Down
Loading