summary refs log tree commit diff
path: root/src/librustc/middle/infer
AgeCommit message (Expand)AuthorLines
2015-07-28remove `get_ident` and `get_name`, make `as_str` soundOliver Schneider-8/+6
2015-07-25Rework cross crate error messagesJared Roesch-3/+3
2015-07-25Fix error message spansJared Roesch-21/+7
2015-07-25Correctly subst defaults with the in-scope substsJared Roesch-19/+29
2015-07-25Rebase fixesJared Roesch-6/+6
2015-07-25Refactor the default type parameter algorithmJared Roesch-14/+42
2015-07-25Fix bug with defaults not being restoredJared Roesch-10/+13
2015-07-25Remove defaults table and attach defaults directly to tyvarsJared Roesch-26/+73
2015-07-25Fix tidyJared Roesch-3/+4
2015-07-25Implement Default TyParam fallbackJared Roesch-6/+81
2015-07-25Auto merge of #27258 - nikomatsakis:issue-26952, r=eddybbors-4/+6
2015-07-24Correct regression in type-inference caused by failing to reconfirm thatNiko Matsakis-4/+6
2015-07-24nitsNiko Matsakis-4/+1
2015-07-24Unify the upvar variables found in closures with the actual types of theNiko Matsakis-14/+0
2015-07-24Don't be so eager to call unresolved inference variables an error. MCNiko Matsakis-1/+9
2015-07-24Introduce ClosureSubsts rather than just having random fields in theNiko Matsakis-6/+5
2015-07-20implement 'a:'static region boundsAriel Ben-Yehuda-1/+2
2015-07-17Auto merge of #27045 - nikomatsakis:better-object-defaults-error, r=pnkfelixbors-94/+6
2015-07-14Change int/uint => isize/usize in compiler docs.Nick Hamann-15/+15
2015-07-14Transition to the new object lifetime defaults, replacing the oldNiko Matsakis-94/+6
2015-07-12Auto merge of #26957 - wesleywiser:rename_connect_to_join, r=alexcrichtonbors-1/+1
2015-07-12Auto merge of #26895 - jroesch:modernize-typeck-names, r=nikomatsakisbors-62/+61
2015-07-12Implement RFC 1058Simonas Kazlauskas-1/+1
2015-07-10Fix make tidyJared Roesch-19/+18
2015-07-10Change some instances of .connect() to .join()Wesley Wiser-1/+1
2015-07-10Remove `pub use` of TypeError in ty.rsJared Roesch-18/+18
2015-07-09Use vec![elt; n] where possibleUlrik Sverdrup-2/+1
2015-07-08Remove snake_case names from ty.rsJared Roesch-37/+37
2015-07-04rustc: simplify ty::MethodOrigin and avoid trait item indices.Eduard Burtescu-5/+4
2015-07-03After inferring regions, scan for any bounds that are due to a lifetimeNiko Matsakis-0/+47
2015-07-03Add a boolean flag to ExistentialBounds tracking whether theNiko Matsakis-11/+67
2015-07-03Auto merge of #26378 - arielb1:unused-mut, r=pnkfelixbors-1/+1
2015-07-01Address nitsJared Roesch-0/+2
2015-07-01Make the unused_mut lint smarter with respect to locals.Ariel Ben-Yehuda-1/+1
2015-06-30Clean up patchJared Roesch-18/+0
2015-06-30Remove Typer and ClosureTyperJared Roesch-128/+122
2015-06-30Remove Typer + ClosureTyper impls for BlockSJared Roesch-3/+3
2015-06-30Remove Typer + ClosureTyper impls for ParameterEnvJared Roesch-1/+1
2015-06-30Remove NormalizingClosureTyperJared Roesch-4/+160
2015-06-30Use fresh FulfillmentContexts in select locationsJared Roesch-1/+0
2015-06-30Move FufillmentContext into InferContextJared Roesch-1/+12
2015-06-30Fix lifetime elision region accountingAriel Ben-Yehuda-8/+7
2015-06-27Address nitsJared Roesch-12/+30
2015-06-27Remove ClosureTyper impl for FnCtxtJared Roesch-4/+32
2015-06-27Ground work for replacing the ClosureTyper traitJared Roesch-4/+150
2015-06-27Begin refactor type checking stateJared Roesch-1/+7
2015-06-26rustc: switch most remaining middle::ty functions to methods.Eduard Burtescu-190/+153
2015-06-26rustc: make ty::mk_* constructors into methods on ty::ctxt.Eduard Burtescu-11/+11
2015-06-26rustc: combine type-flag-checking traits and fns and into one trait.Eduard Burtescu-35/+21
2015-06-19Auto merge of #24527 - nikomatsakis:issue-24085, r=nikomatsakisbors-11/+34