issues
search
rust-lang
/
types-team
Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
95
stars
19
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add unsafe binder types to the compiler
#127
compiler-errors
closed
1 month ago
3
Pattern types
#126
oli-obk
closed
9 months ago
2
unsound issues fun time
#125
lcnr
opened
12 months ago
1
Type system refactorings for further `rustc_type_ir`-ification
#124
compiler-errors
closed
11 months ago
3
Full triage of all soundness issues
#123
nikomatsakis
opened
1 year ago
0
Implied bounds on higher-ranked binders
#122
nikomatsakis
opened
1 year ago
0
Avoid bounding impl trait return type by all input type parameters using existential lifetimes
#121
nikomatsakis
opened
1 year ago
0
Avoid inference guessing in trait solver (e.g., favoring where-clauses over impls)
#120
nikomatsakis
opened
1 year ago
1
Specialization
#119
nikomatsakis
opened
1 year ago
0
Perfect derive
#118
nikomatsakis
opened
1 year ago
0
Instantiate implied bounds explicitly
#117
nikomatsakis
opened
1 year ago
0
Coinduction
#116
nikomatsakis
opened
1 year ago
0
UnlimiTAIT
#115
nikomatsakis
opened
1 year ago
0
Location-sensitive polonius
#114
nikomatsakis
opened
1 year ago
0
Support negative impls in coherence
#113
nikomatsakis
opened
1 year ago
1
Use the new trait solver in all the places
#112
nikomatsakis
opened
1 year ago
1
Enforce where-clauses on type aliases via alias type
#111
nikomatsakis
opened
1 year ago
2
RPIT capture all lifetimes
#110
nikomatsakis
opened
1 year ago
1
Dyn upcasting
#109
nikomatsakis
closed
11 months ago
1
Prototype of Polonius
#108
nikomatsakis
opened
1 year ago
1
Minimal version of TAITs
#107
nikomatsakis
opened
1 year ago
2
"Semantic outlives" for opaque aliases
#106
nikomatsakis
opened
1 year ago
0
New solver in coherence
#105
nikomatsakis
opened
1 year ago
1
Normalize in orphan check
#104
nikomatsakis
opened
1 year ago
2
Model coherence in formality
#103
nikomatsakis
opened
1 year ago
0
Add a dummy cron job to create PRs/issues/zulip-threads
#102
oli-obk
opened
1 year ago
0
`'erased` during analysis
#101
lcnr
opened
1 year ago
0
dyn safety and coherence
#100
nikomatsakis
opened
1 year ago
0
discuss "incorrect implied bounds in wfcheck"
#99
nikomatsakis
opened
1 year ago
2
Update README.md with correct calendar event link
#98
atsuzaki
closed
1 year ago
0
Deep dive on turbofishing functions
#97
BoxyUwU
closed
1 year ago
2
Deep dive for leak check/higher ranked fn ptr subtyping
#96
BoxyUwU
opened
1 year ago
3
Rename some `RegionKind` variants to be inline with `TyKind`/`ConstKind`
#95
BoxyUwU
closed
1 year ago
7
early v late bound design and implementation background
#94
lcnr
closed
1 year ago
3
Remove chalk support from Rust
#93
compiler-errors
closed
1 year ago
4
changes to dropck
#92
lcnr
closed
1 year ago
2
projections in impl headers
#91
lcnr
closed
1 year ago
1
RPITIT refactor (lower RPITIT as GAT)
#90
spastorino
closed
1 year ago
2
Specialization
#89
nikomatsakis
opened
1 year ago
1
Associated type bounds
#88
nikomatsakis
closed
1 year ago
3
Trait alias overview
#87
nikomatsakis
closed
1 year ago
1
MIR Formality progress
#86
nikomatsakis
closed
12 months ago
1
Nominating non-local lifetimes (daddy borrowck) for meeting discussion
#85
SoniEx2
closed
1 year ago
0
GATs retro and check-in
#84
nikomatsakis
closed
1 year ago
1
Coinductive trait semantics and normalization
#83
nikomatsakis
opened
1 year ago
0
Negative trait impls check-in
#82
nikomatsakis
opened
1 year ago
0
Add experimental support for `for<T>` binders in limited positions
#81
compiler-errors
closed
1 year ago
6
Add experimental support for implication predicates
#80
compiler-errors
closed
11 months ago
3
Combine `ty::Opaque` and `ty::Projection` into `ty::Alias`
#79
compiler-errors
closed
1 year ago
3
`EarlyBinder` as default
#78
lcnr
closed
1 year ago
3
Next