summaryrefslogtreecommitdiff
path: root/src/hir_typeck
AgeCommit message (Expand)AuthorFilesLines
2016-11-18HIR Typecheck Validate - Fix some small bugs, start on ErasedType supportJohn Hodge2-32/+57
2016-11-18HIR Typecheck Common - Fix visit_ty_with__pathJohn Hodge1-4/+3
2016-11-17HIR Typecheck Static - impls from ErasedTypeJohn Hodge1-0/+30
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-17HIR Typecheck Expr - Handle revisit in SplitSliceJohn Hodge1-19/+55
2016-11-17HIR - Fix bad handling of split slice patternsJohn Hodge1-1/+3
2016-11-17HIR Typecheck Expr - Extend Opaque=fuzzy hackJohn Hodge1-3/+4
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 method...John Hodge1-50/+26
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 possibilit...John Hodge1-14/+45
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
2016-11-16HIR Typecheck Expr - Refactor monomorphise_type_needed so the inner code can ...John Hodge3-90/+107
2016-11-16HIR Typecheck Expr - Don't assert if impl params aren't known (just fill them...John Hodge1-3/+7
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 Hodge4-23/+35
2016-11-16HIR Typcheck - Hackily hndle default parametersJohn Hodge1-3/+38
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 Hodge1-29/+100
2016-11-12HIR Typecheck Expr - Coercion point in rhs of binopsJohn Hodge1-4/+11
2016-11-11HIR - Tweak ErasedType for implementationJohn Hodge4-46/+89
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 Hodge1-38/+11
2016-11-09HIR Typecheck Expr - Treat an unbound type path as an ivar when searching for...John Hodge2-0/+7
2016-11-06HIR Typecheck Static - Deeper search for Copy boundsJohn Hodge2-11/+11
2016-11-06HIR Typecheck Static - Expand associated after getting type from implJohn Hodge1-0/+1
2016-11-06HIR Typecheck Static - UfcsKnown bound lookupJohn Hodge2-2/+56
2016-11-06HIR Typecheck Static - Search bounds in find_named_trait_in_traitJohn Hodge1-11/+41
2016-11-06HIR Typecheck Expr - Don't call callback if params failed to matchJohn Hodge1-15/+15
2016-11-06HIR Typecheck Expr - Recursive bounds for CopyJohn Hodge2-5/+30
2016-11-06HIR Typecheck Expr - Fix leaking of a placeholder paramJohn Hodge2-2/+15
2016-11-06HIR Typecheck Expr - Deep search for traits on associated typesJohn Hodge1-9/+21
2016-11-05HIR Typecheck Expr - Fuzzy impls in UnsizeJohn Hodge1-3/+9
2016-11-04HIR Typecheck - Bind paths in StructLiteralJohn Hodge1-1/+1
2016-11-04HIR Annotate - Only borrow struct cosntructor base values when no fields are ...John Hodge1-1/+1
2016-11-03HIR Typecheck Expr - EVIL HACK: Allow deref of Box and then borrow when searc...John Hodge2-7/+48
2016-11-03HIR Typecheck Expr - Slightly better handling of Box receiversJohn Hodge2-12/+44
2016-11-01HIR Typecheck Expr - EAT with function implsJohn Hodge2-1/+23
2016-10-31HIR Typecheck Expr - Allow `fn` -> `*const u8` castsJohn Hodge1-2/+3
generated by cgit v1.2.3 (git 2.39.1) at 2025-07-23 00:04:11 +0000