Skip to content

Issues: rust-lang/a-mir-formality

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

39 Open 26 Closed
39 Open 26 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The checks for is-implemented where clauses are too lax
#189 opened Jul 21, 2024 by mattheww
prove-normalize is incomplete in coherence mode
#166 opened May 13, 2024 by nikomatsakis
run to fixed point on ambiguity
#165 opened May 13, 2024 by nikomatsakis
2
inference is not generalizing in a complete way
#164 opened May 13, 2024 by nikomatsakis
@lcnr
7
formality-core parse should permit customizable "commit" point
#159 opened Dec 16, 2023 by nikomatsakis
Outlives vs Trait Goal Syntax Collision
#147 opened Oct 14, 2023 by compiler-errors
Compare unification with trait solver
#143 opened Oct 9, 2023 by nikomatsakis
Negative bounds (with feature gate)
#129 opened Jul 4, 2023 by yoshuawuyts
HRTB test cases from rust-lang/rust
#114 opened Oct 21, 2022 by nikomatsakis
Implementation of crate-item-ok-goal for function declarations differs from description
#107 opened Sep 24, 2022 by voidc
Well-formedness rules for fn-def types
#99 opened Sep 14, 2022 by nikomatsakis
1
modeling functions, function types, and early/late-bound regions
#98 opened Sep 14, 2022 by nikomatsakis
2 of 3 tasks
1
OOM when evaluating for<'b> &'a &'a (): 'b
#82 opened Jul 13, 2022 by aliemjay
3
associated type normalization syntax in surface rust differs from real rust
#80 opened Jul 9, 2022 by nikomatsakis
Check well-formedness of the types of LocalDecls in MIR
#78 opened Jul 8, 2022 by nikomatsakis
Negative impls (with feature gate)
#73 opened Jun 25, 2022 by nikomatsakis
1
Overlap rules
#72 opened Jun 25, 2022 by nikomatsakis
2 of 5 tasks
1
early- vs late-bound lifetimes enhancement New feature or request
#71 opened Jun 25, 2022 by nikomatsakis
Orphan rules
#65 opened Jun 22, 2022 by nikomatsakis
4 tasks
add a (in-scope (type ty)) predicate for types
#59 opened Jun 17, 2022 by nikomatsakis
require impl generic parameters be constrained by the trait def bug Something isn't working good first issue Good for newcomers
#57 opened Jun 16, 2022 by nikomatsakis
2
Extend MIR with type assertions
#55 opened Jun 2, 2022 by nikomatsakis
Split Rust surface types from type layer types
#54 opened Jun 2, 2022 by nikomatsakis
@nikomatsakis
2
coherence spike meta A tracking issue (an issue about issues)
#49 opened May 31, 2022 by nikomatsakis
4 tasks
refactor decl grammar to be more Rust like meta A tracking issue (an issue about issues)
#44 opened May 31, 2022 by nikomatsakis
2 of 5 tasks
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.