summary refs log tree commit diff
path: root/src/librustc/middle/infer
AgeCommit message (Expand)AuthorLines
2015-10-16use the infcx tables to check if a closure is CopyAriel Ben-Yehuda-1/+8
2015-10-16deduplicate trait errors before they are displayedAriel Ben-Yehuda-1/+6
2015-09-15deduplicate erase_regionsAriel Ben-Yehuda-71/+6
2015-09-14split ty::util and ty::adjustmentAriel Ben-Yehuda-3/+4
2015-09-14split ty.rs into smaller partsAriel Ben-Yehuda-44/+49
2015-09-14move middle::ty and related modules to middle/ty/Ariel Ben-Yehuda-39/+36
2015-09-09Print correct crate nameManish Goregaokar-1/+3
2015-09-09Fix fixme, add crate checkManish Goregaokar-2/+2
2015-09-08Handle trait objectsManish Goregaokar-15/+26
2015-09-08Add note for when a type error comes from similarly named objects from two di...Manish Goregaokar-0/+37
2015-09-03Add an intital HIR and lowering stepNick Cameron-132/+139
2015-08-25use the parameter environment when checking dtorsAriel Ben-Yehuda-68/+1
2015-08-24address nitsAriel Ben-Yehuda-1/+1
2015-08-24store the CodeExtent directly in FreeRegionAriel Ben-Yehuda-10/+8
2015-08-24Use a Vec instead of an HashMap for the scope hierarchyAriel Ben-Yehuda-11/+11
2015-08-24split ReInfer into ReVar and ReSkolemizedAriel Ben-Yehuda-33/+37
2015-08-24fallout from moving def-idNiko Matsakis-4/+5
2015-08-18rewrite `free_region`/`region_inference` to use newly mintedNiko Matsakis-33/+4
2015-08-18add a fast-path to resolve_type_vars_if_possibleAriel Ben-Yehuda-3/+8
2015-08-17make trait matching smarter with projectionsAriel Ben-Yehuda-3/+9
2015-08-12infer/mod.rs: add doc comment to RFC1214 variantNiko Matsakis-0/+3
2015-08-12Generalize the outlives rule for projections to handle the new cases;Niko Matsakis-44/+157
2015-08-12Introduce a "origin/cause" for new requirements (or bugfixes...) introduced b...Niko Matsakis-11/+80
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 11:58:50 +0000