rust-lang/types-team issues and pull requests

#100 - dyn safety and coherence

Issue - State: open - Opened by nikomatsakis 10 months ago
Labels: deep-dive-proposal, T-types

#99 - discuss "incorrect implied bounds in wfcheck"

Issue - State: open - Opened by nikomatsakis 10 months ago - 2 comments
Labels: deep-dive-proposal, T-types

#98 - Update README.md with correct calendar event link

Pull Request - State: closed - Opened by atsuzaki 10 months ago

#97 - Deep dive on turbofishing functions

Issue - State: closed - Opened by BoxyUwU 12 months ago - 2 comments
Labels: deep-dive-proposal, T-types

#96 - Deep dive for leak check/higher ranked fn ptr subtyping

Issue - State: open - Opened by BoxyUwU 12 months ago - 3 comments
Labels: deep-dive-proposal, T-types

#95 - Rename some `RegionKind` variants to be inline with `TyKind`/`ConstKind`

Issue - State: closed - Opened by BoxyUwU 12 months ago - 7 comments
Labels: final-comment-period, to-announce, major-change, major-change-accepted, T-types

#94 - early v late bound design and implementation background

Issue - State: closed - Opened by lcnr about 1 year ago - 3 comments
Labels: deep-dive-proposal, T-types

#93 - Remove chalk support from Rust

Issue - State: closed - Opened by compiler-errors about 1 year ago - 4 comments
Labels: final-comment-period, to-announce, major-change, T-types

#92 - changes to dropck

Issue - State: closed - Opened by lcnr about 1 year ago - 2 comments
Labels: deep-dive-proposal, T-types

#91 - projections in impl headers

Issue - State: closed - Opened by lcnr about 1 year ago - 1 comment
Labels: deep-dive-proposal, T-types

#90 - RPITIT refactor (lower RPITIT as GAT)

Issue - State: closed - Opened by spastorino about 1 year ago - 2 comments
Labels: deep-dive-proposal, T-types

#89 - Specialization

Issue - State: open - Opened by nikomatsakis about 1 year ago - 1 comment
Labels: deep-dive-proposal, T-types

#88 - Associated type bounds

Issue - State: closed - Opened by nikomatsakis about 1 year ago - 3 comments
Labels: deep-dive-proposal, T-types

#87 - Trait alias overview

Issue - State: closed - Opened by nikomatsakis about 1 year ago - 1 comment
Labels: deep-dive-proposal, T-types

#86 - MIR Formality progress

Issue - State: closed - Opened by nikomatsakis over 1 year ago - 1 comment
Labels: deep-dive-proposal, T-types

#85 - Nominating non-local lifetimes (daddy borrowck) for meeting discussion

Issue - State: closed - Opened by SoniEx2 over 1 year ago

#84 - GATs retro and check-in

Issue - State: closed - Opened by nikomatsakis over 1 year ago - 1 comment
Labels: deep-dive-proposal, T-types

#83 - Coinductive trait semantics and normalization

Issue - State: open - Opened by nikomatsakis over 1 year ago
Labels: deep-dive-proposal, T-types

#82 - Negative trait impls check-in

Issue - State: open - Opened by nikomatsakis over 1 year ago
Labels: deep-dive-proposal, T-types

#81 - Add experimental support for `for<T>` binders in limited positions

Issue - State: closed - Opened by compiler-errors over 1 year ago - 6 comments
Labels: final-comment-period, to-announce, major-change, T-types

#80 - Add experimental support for implication predicates

Issue - State: closed - Opened by compiler-errors over 1 year ago - 3 comments
Labels: major-change, major-change-accepted, T-types

#79 - Combine `ty::Opaque` and `ty::Projection` into `ty::Alias`

Issue - State: closed - Opened by compiler-errors over 1 year ago - 3 comments
Labels: final-comment-period, to-announce, major-change, T-types

#78 - `EarlyBinder` as default

Issue - State: closed - Opened by lcnr over 1 year ago - 3 comments
Labels: final-comment-period, to-announce, major-change, T-types

#77 - Tracking issue for chalk

Issue - State: closed - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#76 - Tracking issue for rust trait solver refactor

Issue - State: open - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#75 - Tracking issue for type ir librarification

Issue - State: closed - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#74 - Tracking issue for polonius

Issue - State: closed - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#73 - Tracking issue for negative impls

Issue - State: open - Opened by jackh726 over 1 year ago - 2 comments
Labels: roadmap-tracking-issue

#72 - Tracking issue for trait object upcasting

Issue - State: open - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#71 - Tracking issue for implied bounds refactor

Issue - State: open - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#70 - Tracking issue for subtyping refactor

Issue - State: open - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#69 - Tracking issue for a-mir-formality

Issue - State: open - Opened by jackh726 over 1 year ago
Labels: roadmap-tracking-issue

#68 - Tracking issue for GATs

Issue - State: open - Opened by jackh726 over 1 year ago
Labels: roadmap-tracking-issue

#67 - Tracking issue for TAITs

Issue - State: open - Opened by jackh726 over 1 year ago
Labels: roadmap-tracking-issue

#66 - Tracking issue for AFIT and RPITIT

Issue - State: open - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#65 - Tracking issue for RPITIT refactoring

Issue - State: closed - Opened by jackh726 over 1 year ago - 1 comment
Labels: roadmap-tracking-issue

#64 - merge rigid types in `TyKind` into a single variant.

Issue - State: closed - Opened by lcnr over 1 year ago - 2 comments
Labels: to-announce, major-change, T-types

#63 - a-mir-formality in Rust

Issue - State: closed - Opened by nikomatsakis over 1 year ago - 1 comment
Labels: deep-dive-proposal, T-types

#62 - Account for late-bound lifetimes in generics #103448

Issue - State: open - Opened by nikomatsakis over 1 year ago
Labels: deep-dive-proposal, T-types

#61 - Discuss "Only compute generator saved locals once, on MIR #101692"

Issue - State: closed - Opened by nikomatsakis over 1 year ago - 2 comments
Labels: deep-dive-proposal, T-types

#60 - Support using Self or projections inside an RPIT/async fn #103491

Issue - State: closed - Opened by nikomatsakis over 1 year ago - 3 comments
Labels: deep-dive-proposal, T-types

#59 - test

Issue - State: closed - Opened by lcnr over 1 year ago - 2 comments
Labels: to-announce, major-change, T-types

#58 - rustc trait system rewrite initiative

Issue - State: closed - Opened by lcnr over 1 year ago - 22 comments
Labels: final-comment-period, to-announce, major-change, finished-final-comment-period, T-types

#57 - Closure return type outlives guarantees

Issue - State: open - Opened by jackh726 over 1 year ago - 1 comment
Labels: deep-dive-proposal

#56 - How polonius fits in

Issue - State: closed - Opened by nikomatsakis almost 2 years ago - 1 comment
Labels: deep-dive-proposal

#55 - RPIT refactor review

Issue - State: closed - Opened by jackh726 almost 2 years ago - 1 comment
Labels: deep-dive-proposal

#54 - Chalk integration plan

Issue - State: closed - Opened by nikomatsakis almost 2 years ago - 1 comment
Labels: deep-dive-proposal

#53 - Types team roadmap

Issue - State: closed - Opened by nikomatsakis almost 2 years ago - 1 comment
Labels: deep-dive-proposal

#52 - Add `triagebot.toml` config for types team

Pull Request - State: closed - Opened by compiler-errors almost 2 years ago - 1 comment

#51 - discuss projection equality

Issue - State: closed - Opened by BoxyUwU almost 2 years ago - 1 comment
Labels: deep-dive-proposal

#50 - use `ObligationCtxt` for canonical queries

Issue - State: closed - Opened by lcnr almost 2 years ago - 5 comments
Labels: to-announce, major-change, major-change-accepted, finished-final-comment-period

#49 - discuss the `trait_alias` feature

Issue - State: open - Opened by lcnr almost 2 years ago
Labels: deep-dive-proposal

#48 - WF and implied bounds in a-mir-formality

Issue - State: closed - Opened by nikomatsakis about 2 years ago - 2 comments
Labels: deep-dive-proposal

#47 - Replace Travis CI with GHA

Pull Request - State: closed - Opened by JohnTitor about 2 years ago - 8 comments

#46 - Address team renaming

Pull Request - State: closed - Opened by JohnTitor about 2 years ago - 1 comment

#45 - Variance and Rust

Issue - State: open - Opened by nikomatsakis about 2 years ago
Labels: deep-dive-proposal

#44 - Add major change proposal template

Pull Request - State: closed - Opened by oli-obk about 2 years ago - 3 comments

#43 - Polonius status update

Issue - State: closed - Opened by nikomatsakis about 2 years ago - 2 comments
Labels: deep-dive-proposal

#42 - Review chalkification roadmap

Issue - State: closed - Opened by nikomatsakis about 2 years ago - 2 comments
Labels: deep-dive-proposal

#41 - Formality roadmap

Issue - State: closed - Opened by nikomatsakis about 2 years ago - 2 comments
Labels: deep-dive-proposal

#40 - Finalize recommendations for TAITs

Issue - State: closed - Opened by nikomatsakis about 2 years ago - 2 comments
Labels: deep-dive-proposal

#39 - formality subtyping rules

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 2 comments
Labels: deep-dive-proposal

#38 - types team RFC read

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 1 comment
Labels: deep-dive-proposal

#37 - Subtyping and variance chapter review

Issue - State: closed - Opened by jackh726 over 2 years ago - 2 comments
Labels: deep-dive-proposal

#36 - Lazy TAIT Walkthrough

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 2 comments
Labels: deep-dive-proposal

#35 - plt redex walkthrough

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 1 comment
Labels: deep-dive-proposal

#34 - 2022-03 planning meeting

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 1 comment
Labels: deep-dive-proposal

#33 - Introducing "a-mir-formality"

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 1 comment
Labels: deep-dive-proposal

#32 - "Chalkify rustc" roadmap planning

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 2 comments
Labels: deep-dive-proposal

#31 - align rustc and chalk folder type

Issue - State: open - Opened by nikomatsakis about 3 years ago - 11 comments

#30 - align chalk and rustc dyn representation

Issue - State: open - Opened by nikomatsakis about 3 years ago - 4 comments
Labels: help wanted

#29 - remove lexical region check from the compiler

Issue - State: open - Opened by nikomatsakis about 3 years ago - 6 comments

#28 - resolve difference in representing generic parameters between rustc and chalk

Issue - State: open - Opened by nikomatsakis about 3 years ago

#27 - Update mdbook

Pull Request - State: closed - Opened by ehuss over 3 years ago - 2 comments

#26 - Specifying behavior relating to auto traits more precisely

Issue - State: open - Opened by vandenheuvel almost 4 years ago

#25 - Tracking issue for chalk

Issue - State: closed - Opened by jackh726 almost 4 years ago - 1 comment
Labels: roadmap-tracking-issue

#24 - Fix skill-tree in deployment

Pull Request - State: closed - Opened by nathanwhit almost 4 years ago

#23 - Update roadmap

Pull Request - State: closed - Opened by nathanwhit almost 4 years ago

#22 - Update minutes and skill tree

Pull Request - State: closed - Opened by jackh726 about 4 years ago

#21 - link to issue https://github.com/rust-lang/chalk/issues/368

Pull Request - State: closed - Opened by nikomatsakis about 4 years ago

#20 - update roadmap

Pull Request - State: closed - Opened by nikomatsakis about 4 years ago

#19 - Roadmap8

Pull Request - State: closed - Opened by nikomatsakis about 4 years ago

#18 - Tracking issue for rustc integration MVP

Issue - State: closed - Opened by nikomatsakis over 4 years ago

#17 - April 21: Design meeting to discuss implied bounds

Issue - State: closed - Opened by nikomatsakis over 4 years ago - 2 comments

#16 - Tracking issue for shared type library

Issue - State: open - Opened by nikomatsakis over 4 years ago - 1 comment
Labels: roadmap-tracking-issue

#15 - April 7: Design meeting for Chalk const support

Issue - State: closed - Opened by jackh726 over 4 years ago - 4 comments

#14 - Roadmap7

Pull Request - State: closed - Opened by nikomatsakis over 4 years ago - 1 comment

#13 - travis: update build config import format

Pull Request - State: closed - Opened by lqd over 4 years ago