Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / rust-lang/a-mir-formality issues and pull requests

#187 - reduce decls Debug noise

Pull Request - State: closed - Opened by shua 7 months ago - 7 comments

#186 - Use unique names for rules in prove_wc

Pull Request - State: closed - Opened by FullyNonlinear 7 months ago

#186 - Use unique names for rules in prove_wc

Pull Request - State: closed - Opened by FullyNonlinear 7 months ago

#185 - Reinstate test cases for parsing

Pull Request - State: closed - Opened by FullyNonlinear 7 months ago - 1 comment

#184 - Add check for duplicate items in crate

Pull Request - State: closed - Opened by obeis 7 months ago

#183 - Fix warnings

Pull Request - State: closed - Opened by nikomatsakis 7 months ago

#182 - DONT MERGE: proofs rely on order of set elems

Pull Request - State: open - Opened by shua 7 months ago

#182 - DONT MERGE: proofs rely on order of set elems

Pull Request - State: open - Opened by shua 7 months ago

#181 - add some wf checks for fn types

Pull Request - State: open - Opened by shua 7 months ago - 2 comments

#181 - add some wf checks for fn types

Pull Request - State: open - Opened by shua 7 months ago - 2 comments

#180 - add support for fuzzing

Pull Request - State: open - Opened by nikomatsakis 7 months ago

#178 - inline PR into WcData

Pull Request - State: closed - Opened by shua 7 months ago

#178 - inline PR into WcData

Pull Request - State: closed - Opened by shua 7 months ago

#177 - replace custom wf check with well_formed constructor

Pull Request - State: closed - Opened by shua 7 months ago

#177 - replace custom wf check with well_formed constructor

Pull Request - State: closed - Opened by shua 7 months ago

#176 - Minor typo fix in book formality_core lang

Pull Request - State: closed - Opened by FullyNonlinear 7 months ago

#175 - track adt variant and field names do not conflict

Pull Request - State: closed - Opened by shua 7 months ago

#174 - use underscore impls where we can

Pull Request - State: closed - Opened by nikomatsakis 8 months ago - 1 comment

#173 - Some clippy fixes

Pull Request - State: closed - Opened by lqd 9 months ago - 1 comment

#172 - Add rustfmt check to CI

Pull Request - State: closed - Opened by lqd 9 months ago - 2 comments

#171 - continue coherence work

Pull Request - State: closed - Opened by lcnr 9 months ago - 1 comment

#170 - add rustfmt to CI

Issue - State: closed - Opened by lcnr 9 months ago

#169 - test issue

Issue - State: closed - Opened by compiler-errors 9 months ago - 2 comments

#168 - Add `triagebot.toml`

Pull Request - State: closed - Opened by compiler-errors 9 months ago

#167 - cleanup and fix coherence rules

Pull Request - State: closed - Opened by nikomatsakis 9 months ago - 4 comments

#166 - prove-normalize is incomplete in coherence mode

Issue - State: open - Opened by nikomatsakis 9 months ago

#165 - run to fixed point on ambiguity

Issue - State: open - Opened by nikomatsakis 9 months ago - 2 comments

#164 - inference is not generalizing in a complete way

Issue - State: open - Opened by nikomatsakis 9 months ago - 7 comments

#157 - Obviously overlapping blanket impls are accepted

Issue - State: closed - Opened by CheaterCodes about 1 year ago - 3 comments

#146 - WF rules for structs

Issue - State: closed - Opened by nikomatsakis over 1 year ago - 2 comments
Labels: good first issue

#100 - Type-checking calls in the MIR

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

#99 - Well-formedness rules for fn-def types

Issue - State: open - Opened by nikomatsakis over 2 years ago - 1 comment

#98 - modeling functions, function types, and early/late-bound regions

Issue - State: open - Opened by nikomatsakis over 2 years ago - 1 comment

#97 - add a fn-def type and adjust type of fn constants

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago - 5 comments

#96 - Possible unused require

Issue - State: closed - Opened by pierwill over 2 years ago - 1 comment

#95 - Expand body grammar

Pull Request - State: closed - Opened by voidc over 2 years ago

#94 - Report an error if there are two instances of the exact same impl

Pull Request - State: closed - Opened by spastorino over 2 years ago

#93 - Evaluate generated racket programs

Pull Request - State: closed - Opened by voidc over 2 years ago

#92 - Move the rust test generator to the root directory

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#91 - Reland #77

Pull Request - State: closed - Opened by voidc over 2 years ago - 1 comment

#89 - start adding overlap check

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#88 - Report an error if there are two instances of the exact same impl

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

#87 - Add Rust to mir-formality converter

Pull Request - State: closed - Opened by voidc over 2 years ago - 1 comment

#86 - Add missing definition of Operands

Pull Request - State: closed - Opened by voidc over 2 years ago

#85 - 2022 08 liveness

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#83 - initialization check, first draft

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#82 - OOM when evaluating `for<'b> &'a &'a (): 'b`

Issue - State: open - Opened by aliemjay over 2 years ago - 3 comments

#81 - split mir into body, check layers

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

#79 - default, elaborated WF conditions

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#77 - Expand MIR well-formedness rules and implement function input/output goals

Pull Request - State: closed - Opened by voidc over 2 years ago

#76 - introduce Rust layer

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

#75 - Use UserTy in impls and where clauses

Pull Request - State: closed - Opened by voidc over 2 years ago - 4 comments

#74 - make normalization inductive

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#73 - Negative impls (with feature gate)

Issue - State: open - Opened by nikomatsakis over 2 years ago - 1 comment

#72 - Overlap rules

Issue - State: open - Opened by nikomatsakis over 2 years ago - 1 comment

#71 - early- vs late-bound lifetimes

Issue - State: open - Opened by nikomatsakis over 2 years ago
Labels: enhancement

#70 - check that fn decls in impls/traits match

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#69 - Compare fns in impls against trait interface definitions

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

#68 - normalization can be "unproductive" -- make it inductive?

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 3 comments
Labels: bug, help wanted, good first issue

#66 - implement a basic version of the coherence check

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#65 - Orphan rules

Issue - State: open - Opened by nikomatsakis over 2 years ago

#64 - Compare types in impls against trait interface definitions

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

#63 - invariants for outlives are missing

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

#62 - re-enable "assoc-type-values-meet-trait-bounds.rkt" tests

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

#61 - "self-supporting" well-formedness for associated types

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

#60 - Fix missing word in comment.

Pull Request - State: closed - Opened by crlf0710 over 2 years ago

#59 - add a (in-scope (type ty)) predicate for types

Issue - State: open - Opened by nikomatsakis over 2 years ago

#58 - Implement and integrate associated types

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

#57 - require impl generic parameters be constrained by the trait def

Issue - State: open - Opened by nikomatsakis over 2 years ago - 2 comments
Labels: bug, good first issue

#56 - User ty

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#55 - Extend MIR with type assertions

Issue - State: open - Opened by nikomatsakis over 2 years ago

#54 - Split Rust surface types from type layer types

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

#53 - describe x11 setup

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

#52 - Mir typing

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#51 - Add space

Pull Request - State: closed - Opened by oli-obk over 2 years ago

#50 - Add support for unsafe traits, impls

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

#49 - coherence spike

Issue - State: open - Opened by nikomatsakis over 2 years ago
Labels: meta

#48 - add support for statics

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#47 - Revise Introducting and sketch philosophy

Pull Request - State: closed - Opened by pierwill over 2 years ago

#46 - dedicated struct/union/enum forms in rust decl layer

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 2 comments
Labels: enhancement, help wanted, good first issue

#45 - where keyword in rust decl layer

Issue - State: closed - Opened by nikomatsakis over 2 years ago - 2 comments
Labels: enhancement, help wanted, good first issue

#44 - refactor decl grammar to be more Rust like

Issue - State: open - Opened by nikomatsakis over 2 years ago - 1 comment
Labels: meta

#43 - fix incorrect comments

Pull Request - State: closed - Opened by lcnr over 2 years ago

#42 - Test harness / driver

Issue - State: open - Opened by nikomatsakis over 2 years ago

#41 - Extend trait items with associated types

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

#40 - lending-iterator spike

Issue - State: open - Opened by nikomatsakis over 2 years ago
Labels: meta

#39 - Add basic GATs test

Pull Request - State: closed - Opened by jackh726 over 2 years ago

#38 - Get the most basic fn test working

Pull Request - State: closed - Opened by jackh726 over 2 years ago

#37 - 2022 05 20 misc

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#36 - Link to setup instructions from main readme

Pull Request - State: closed - Opened by oli-obk over 2 years ago

#35 - Canonicalization

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago