summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2019-03-02HIR Dump - Print break valueJohn Hodge1-0/+4
2019-03-02HIR - Clone deref count when cloning patternJohn Hodge1-29/+35
2019-03-01Expand - Use discriminant_value to reduce size of auto-generated matchesJohn Hodge1-88/+26
2019-03-01HIR Annotate Usage - Handle `break`John Hodge1-0/+4
2019-02-28HIR Typecheck - Tweak to validation code for closure castsJohn Hodge1-9/+26
2019-02-24Typecheck Expressions - EAT before doing match ergonomincs, better error ↵John Hodge1-31/+58
messages
2019-02-24Typecheck Expr - Refactor of ivar possibilities to simplify logicJohn Hodge3-656/+444
2019-02-09Typecheck - Various fixes for librustcJohn Hodge6-43/+108
2019-02-03Typecheck Expresions - closure->fn and closure Clone roughJohn Hodge2-0/+36
2019-02-03HIR - Minimally-tested support for `extern { type }`John Hodge23-36/+178
2019-02-03HIR Expr - Have _StructLiteral take a HIR::Path (to allow associated types ↵John Hodge10-33/+56
to be used)
2019-02-02HIR From AST - repr fiddlingJohn Hodge3-27/+42
2019-02-02Resolve Absolute - More in-band-lifetimes, tweak resolve for globbed value ↵John Hodge2-24/+98
variants
2019-01-28Resolve Index - (minor) Better error mesage on collisionJohn Hodge1-1/+1
2019-01-28Resolve Use - More correct handling of publicity in wildcard importsJohn Hodge3-15/+47
2019-01-27Parse - A few more TOK_INTERPOLATED_* instancesJohn Hodge2-3/+13
2019-01-27Expand - Slight tweaks to avoid crashes/bugsJohn Hodge3-38/+46
2019-01-27AST - (minor) Tweak printing of lifetime paramsJohn Hodge2-2/+2
2019-01-27macro_rules - Rework pattern matching into a "compiled" format (easier to ↵John Hodge7-844/+512
disambiguate)
2019-01-21Parse (partial) - `extern { type Foo; }`, very roughJohn Hodge2-2/+13
2019-01-21macro_rules - :lifetime fragmentJohn Hodge4-1/+25
2019-01-20HIR Serialise - Handle HIR::Literal::DeferJohn Hodge2-1/+4
2019-01-20Parse - Handle `use {self as foo}`John Hodge1-0/+5
2019-01-20Parse - More HRTBsJohn Hodge2-7/+6
2019-01-20Parse - Trailing commas in Fn(...) handlingJohn Hodge1-12/+8
2019-01-20Parse - Leading | in match arms (rustc quirk)John Hodge1-0/+3
2019-01-20Resolve Use - Handle macro_rules importsJohn Hodge1-1/+2
2019-01-20HIR Misc - Local asserts with patternsJohn Hodge2-2/+4
2019-01-20HIR Const Eval - Handle pre-resolved defaulted ATYsJohn Hodge1-1/+13
2019-01-20HIR Bind - Handle `Enum::Foo { .. }` patterns for everythingJohn Hodge1-5/+68
2019-01-20Typecheck Expressions - Correct SplitTuple logic in Match ergonomicsJohn Hodge1-1/+2
2019-01-20Typecheck Expressions - More work on match ergonomicsJohn Hodge1-6/+21
2019-01-20Resolve Use - Finer-grained recursion controlJohn Hodge1-3/+8
2019-01-20MIR Gen - (minor) Commented-out post-gen dumpJohn Hodge1-0/+1
2019-01-20Trans Enumerate - Ensure that clone impls called by auto clone impl are ↵John Hodge1-2/+23
enumerated
2019-01-20macro_rules - Handle `dyn Trait` in :tyJohn Hodge1-1/+3
2019-01-20Trans - Packed types force outer alignment to 1John Hodge1-1/+1
2019-01-20HIR Expand Closures - Ensure opaque tagging of UfcsKnownJohn Hodge1-5/+28
2019-01-20HIR Serialise - Tweaks for easier debuggingJohn Hodge3-3/+10
2019-01-20Type resolve static - CleanupsJohn Hodge1-6/+22
2019-01-20macro_rules - Handle `[auto] trait` in :itemJohn Hodge1-16/+46
2019-01-20Typecheck Static - Handle resolution with pre-existing placeholdersJohn Hodge1-12/+40
2019-01-19Typecheck Expressions - Handle generics in auto trait magicJohn Hodge1-1/+3
2019-01-19Typecheck Expressions - Tweak expand_associated_types to get associated type ↵John Hodge3-9/+32
bounds on associated types
2019-01-12HIR Typecheck Outer - Duplicate the "Resolve UFCS" pass to use simpler logic ↵John Hodge5-5/+380
for outer context
2019-01-12HIR Typecheck - Debugging tweaksJohn Hodge4-6/+19
2019-01-05Handle MacroInv in some more placesJohn Hodge2-1/+6
2019-01-05Resolve Use - Handle external enumsJohn Hodge1-13/+40
2019-01-05Expand - Macros in traitsJohn Hodge3-128/+167
2019-01-05HIR - Visit result typeJohn Hodge4-0/+15