summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
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
2019-01-05Typecheck Expressions - Run EAT when checking auto traitsJohn Hodge1-4/+6
2019-01-05Resolve Use - Handle partial shadowing of items/importsJohn Hodge2-27/+36
2019-01-05HIR Bind - Handle cross-referencing default type paramsJohn Hodge1-2/+15
2019-01-04macro_rules eval - Handle `macro_rules!` in :item captureJohn Hodge1-0/+1
2019-01-04Constant Evaluate - More handling of Defer constantsJohn Hodge3-19/+51
2019-01-04Typecheck Expressions - Short-circuit wildcard pattern matchesJohn Hodge1-0/+6
2019-01-04Resolve - Resolve impl type before handling boundsJohn Hodge1-1/+2
2019-01-03HIR Expand - Handle match ergonomics in AVUJohn Hodge1-2/+10
2019-01-03Lower MIR - Allow "+" at the start of asm output specifiersJohn Hodge1-1/+1
2019-01-03Typecheck Expressions - Handle placeholder params betterJohn Hodge2-8/+10