summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-11-18HIR - Clean up ExprPtr a little and add erased type typesJohn Hodge2-37/+64
2016-11-18HIR Typecheck Common - Fix visit_ty_with__pathJohn Hodge1-4/+3
2016-11-18HIR Expand Closures - Replace closure types in root node resultJohn Hodge1-0/+1
2016-11-17HIR Typecheck Static - impls from ErasedTypeJohn Hodge1-0/+30
2016-11-17HIR Annotate - Handle SplitSlice and SplitTuple patternsJohn Hodge1-15/+35
2016-11-17HIR Typecheck Static - Copy for ErasedTypeJohn Hodge1-1/+7
2016-11-17HIR Typecheck - Support Self in impl monomorphisationJohn Hodge2-2/+17
2016-11-17Resolve - Fix scoping of `if let` bindingsJohn Hodge1-2/+3
2016-11-17HIR Typecheck Expr - Handle revisit in SplitSliceJohn Hodge1-19/+55
2016-11-17HIR - Fix bad handling of split slice patternsJohn Hodge3-4/+6
2016-11-17HIR Typecheck Expr - Extend Opaque=fuzzy hackJohn Hodge2-3/+8
2016-11-17HIR Typecheck Expr - Stop autoderef method search when unbound UFCS is hitJohn Hodge1-4/+7
2016-11-17HIR Typecheck Expr - Reduce log spam in librustcJohn Hodge1-19/+37
2016-11-17HIR Typecheck Expr - Search supertraits for TraitObject and ErasedType ↵John Hodge1-50/+26
method searching
2016-11-17HIR Typecheck Expr - Update method selectionJohn Hodge3-67/+59
2016-11-16HIR Typecheck Expr - CleanupJohn Hodge1-31/+21
2016-11-16HIR Typcheck Expr - Prune `coerce_from` list down to bottom typeJohn Hodge1-1/+33
2016-11-16HIR Typecheck Expr - Avoid taking too many guesses in a single passJohn Hodge1-2/+9
2016-11-16HIR Typecheck Expr - Remove some useless error checkingJohn Hodge1-100/+43
2016-11-16HIR Typcheck Expr - Remove types that unsize to other types in the ↵John Hodge1-14/+45
possibility list
2016-11-16HIR Typecheck Expr - Refactor possibility codeJohn Hodge1-92/+164
2016-11-16HIR Typecheck Expr - Emit an assoc bound for fuzzy impl selectionJohn Hodge1-2/+2
- Fixes errors where one of the fetched types contains a placeholder.
2016-11-16HIR Typecheck Expr - Refactor monomorphise_type_needed so the inner code can ↵John Hodge3-90/+107
be used for a bugcheck.
2016-11-16HIR Typecheck Expr - Don't assert if impl params aren't known (just fill ↵John Hodge1-3/+7
them with new ivars)
2016-11-16HIR - Don't print crate name when searching for inherent implsJohn Hodge1-1/+2
2016-11-16HIR Typecheck Expr - Fix inferrence losing ! markerJohn Hodge2-3/+24
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge6-34/+47
2016-11-16HIR Typcheck - Hackily hndle default parametersJohn Hodge2-3/+41
2016-11-15HIR Typecheck Expr - Minor tweaks for better bug messagesJohn Hodge2-16/+10
2016-11-14HIR Typecheck Expr - Tweak to block diverge logicJohn Hodge1-4/+5
2016-11-14HIR Typecheck Expr - ErasedType return checkingJohn Hodge3-46/+143
2016-11-13HIR Typecheck - Slow work on ErasedTypeJohn Hodge2-30/+103
2016-11-12HIR Typecheck Expr - Coercion point in rhs of binopsJohn Hodge1-4/+11
2016-11-11HIR - Tweak ErasedType for implementationJohn Hodge8-49/+107
2016-11-10HIR Typecheck Exprs - Search for impls in ErasedTypeJohn Hodge1-0/+73
2016-11-10HIR Typecheck Expr - Expand some TODOs of ErasedTypeJohn Hodge1-20/+66
2016-11-09HIR Typecheck Expr - Restrict ivar guesses to pick the most compatibleJohn Hodge1-0/+47
2016-11-09HIR+Parse - Fix some ErasedTypes bugs before hitting the TODOsJohn Hodge3-40/+15
2016-11-09HIR Typecheck Expr - Treat an unbound type path as an ivar when searching ↵John Hodge2-0/+7
for fields
2016-11-09HIR Type Compare - Compare size in MTGFJohn Hodge1-0/+3
2016-11-08HIR Const Eval - Fields on structsJohn Hodge1-1/+34
2016-11-08HIR Const Eval - MIR Constant::ConstJohn Hodge1-1/+6
2016-11-08Resolve Absolute - (minor) Remove defunct commentsJohn Hodge1-4/+0
2016-11-08Resolve Absolute - Handle crate-root paths, fix an edge-case bugJohn Hodge1-2/+16
2016-11-08Resolve Use - Handle imports of a crate rootJohn Hodge1-0/+2
2016-11-07Expand - Handle another rustc internal macroJohn Hodge1-0/+9
2016-11-07AST Expr - Handle some null nodes in printingJohn Hodge1-5/+14
2016-11-07HIR Gen - Extract #[macro_export] macros from deep within the treeJohn Hodge3-22/+41
2016-11-07MIR Gen Match - Fix DTN cloneJohn Hodge1-0/+2
2016-11-07HIR Const Eval - Mask down unsigned integersJohn Hodge1-1/+108