git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2018-03-13	Niko Matsakis	refactor `ParamEnv::empty(Reveal)` into two distinct...	commit \| commitdiff \| tree
2018-03-13	Niko Matsakis	add handy helper for Cell<usize>, used for perf stats	commit \| commitdiff \| tree
2018-03-13	Niko Matsakis	random reformatting	commit \| commitdiff \| tree
2018-03-13	Niko Matsakis	comment the purpose of `TransNormalize`	commit \| commitdiff \| tree
2018-03-13	Niko Matsakis	make regions "traceable" so you can do `infcx.at(....	commit \| commitdiff \| tree
2018-03-13	Niko Matsakis	fix typo in comment	commit \| commitdiff \| tree
2018-03-13	Niko Matsakis	add `TypeRelation` and `Lift` impls for `Kind`	commit \| commitdiff \| tree
2018-03-13	Niko Matsakis	improve TypeFoldable/Lift macros and make a bunch of...	commit \| commitdiff \| tree
2018-03-13	Niko Matsakis	require `Lifted` types to outlive `'tcx`	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	explain why we don't need to run type-checker when...	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	update tests and reference files	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	do not run MIR type checker twice	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	re-export `assert_test_result` for use when testing...	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	update test -- we now give a slightly different error	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	move test to the proper directory and test #[bench]	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	delete this test file: it also appears as	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	add test for `fn main() -> !`	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	handle `#[bench]` functions better	commit \| commitdiff \| tree
2018-02-23	Niko Matsakis	reset default binding mode when we pass through a ...	commit \| commitdiff \| tree
2018-02-22	Niko Matsakis	remove tokenstream	commit \| commitdiff \| tree
2018-02-22	Niko Matsakis	move Termination trait to std::process	commit \| commitdiff \| tree
2018-02-22	Niko Matsakis	put the "unit test" logic into libtest	commit \| commitdiff \| tree
2018-02-22	Niko Matsakis	begin crate-relative paths with `crate`	commit \| commitdiff \| tree
2018-02-22	Niko Matsakis	support unit tests with return values that implement...	commit \| commitdiff \| tree
2018-02-22	Niko Matsakis	add `unwind_attributes` feature	commit \| commitdiff \| tree
2018-02-21	Niko Matsakis	make `#[unwind]` attribute specify expectations more...	commit \| commitdiff \| tree
2018-02-12	Niko Matsakis	detect wrong number of args when type-checking a closure	commit \| commitdiff \| tree
2018-02-12	Niko Matsakis	rustc_typeck/check/closure: rustfmt	commit \| commitdiff \| tree
2018-01-30	Niko Matsakis	track intercrate ambiguity only when there is a coherence...	commit \| commitdiff \| tree
2018-01-30	Niko Matsakis	change `overlapping_impls` to take a tcx and create...	commit \| commitdiff \| tree
2018-01-30	Niko Matsakis	make `overlapping_impls` call closures instead of returning	commit \| commitdiff \| tree
2018-01-26	Niko Matsakis	add regression test	commit \| commitdiff \| tree
2018-01-22	Niko Matsakis	do not ICE when return type includes unconstrained...	commit \| commitdiff \| tree
2018-01-20	Santiago Pastorino	Run yield-subtype test on nll mode too as a regression...	commit \| commitdiff \| tree
2018-01-20	Santiago Pastorino	Integrate generators to universal region setup	commit \| commitdiff \| tree
2018-01-20	Niko Matsakis	change MIR dump format to include yield type	commit \| commitdiff \| tree
2018-01-17	Niko Matsakis	track recursion limit when expanding existential impl...	commit \| commitdiff \| tree
2018-01-16	Niko Matsakis	remove bogus assertion and comments	commit \| commitdiff \| tree
2018-01-11	Niko Matsakis	update test case	commit \| commitdiff \| tree
2018-01-11	Niko Matsakis	renumber regions in the generator interior	commit \| commitdiff \| tree
2018-01-11	Niko Matsakis	simplify `UniversalRegions::to_region_vid` to just...	commit \| commitdiff \| tree
2018-01-10	Niko Matsakis	resolve type and region variables in "NLL dropck"	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	fix truncated comment	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	improve comment about instantiating anon types	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	convert region-liveness-drop{-,-no-}may-dangle.rs into...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	add some run-pass tests for NLL showing that things...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	when using feature(nll), don't warn about AST-based...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	document and tweak the nll, use_mir, etc helpers	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	feature nll implies borrowck=mir	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	feature nll implies two-phase-borrows	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	Add nll feature and make nll imply nll_dump_cause	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	Add nll_dump_cause helper to Session	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	use `report_generic_bound_failure` when we can in the...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	refactor `report_generic_bound_failure` to be usable...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	connect NLL machinery to the `NiceRegionError` code	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	give precedence to `try_report_named_anon_conflict...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	use `Option<ErrorReported>` instead of `bool`	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	introduce a `NiceRegionError` type and define methods...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	nice_region_error: rustfmt	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	extract `find_anon_type` into its own module	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	make `util` fns private to nice_region_error	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	move nice-region-error reporting into its own module	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	only dump causes if we have nothing better	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	Add three point error handling to borrowck	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	Move categorize logic out of visit_local function	commit \| commitdiff \| tree
2017-12-20	Santiago Pastorino	Move MirVisitable to visit.rs	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	connect NLL type checker to the impl trait code	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	extract `input_output` code into its own module	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	pass `UniversalRegions` to MIR type-checker instead...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	extract the writeback code for anon types into InferCtxt	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	extract `constrain_anon_types` to the `InferCtxt`	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	extract `instantiate_anon_types` to the `InferCtxt`	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	propagate `region_bound_pairs` into MIR type-check	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	get the `DefiningTy` from the `body_owner_kind` not...	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	integrate -Znll-dump-cause into borrowck	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	use Rc to store nonlexical_regioncx in Borrows	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	dump out causal information for "free region" errors	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	rustfmt: borrow_check/mod.rs	commit \| commitdiff \| tree
2017-12-20	Paul Daniel Faria	Add tracking of causes for nll	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	region_infer/values.rs: rustfmt	commit \| commitdiff \| tree
2017-12-20	Niko Matsakis	simplify `AnonTypeDecl` in the impl trait code	commit \| commitdiff \| tree
2017-12-19	Niko Matsakis	be specific about what kind of normalization we mean	commit \| commitdiff \| tree
2017-12-19	Niko Matsakis	remove dead `is_foo_free_region` helpers	commit \| commitdiff \| tree
2017-12-19	Niko Matsakis	fix comment on `check_type_tests`	commit \| commitdiff \| tree
2017-12-19	Niko Matsakis	tweak comment on `TypeTest` to be more accurate	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	stop dumping DefPath into "failed type test" errors	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	more concise debug output when dumping the value of...	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	make `blame_span` deterministic	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	add a test regarding relating closure and fn generics	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	impose inputs/ouputs on MIR after the fact	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	handle projections with regions	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	add a new RegionKind variant: ReClosureBound	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	propagate type tests from closure to closure creators	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	permit `ClosureOutlivesRequirement` to constrain regions...	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	thread through an implicit region body of the fn body	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	rework region flags: 'static can be erased too	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	mild refactors of the control flow (no functional changes)	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	move some parts of liveness to happen during type checking	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	move `flow_in_progress` into `dataflow` and document it	commit \| commitdiff \| tree
2017-12-15	Niko Matsakis	move `LivenessResults` from `nll` into `liveness` analysis	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom