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

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

2017-04-12	Niko Matsakis	add some comments and `debug!` calls to "obligation...	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	just panic in rustdoc if we encounter a subtype predicate	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	update various test cases that generate slightly different...	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	generalize type variables too	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	avoid unneeded subtype obligations in lub/glb	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	fix a bug in compiletest JSON parsing for duplicate...	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	add FIXME for bivariant lub/glb	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	add FIXME to #18653	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	add regression test for #30225	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	remove the subtyping relations from TypeVariable	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	use obligations to propagate sub-typing instead of...	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	propagate sub-obligations better	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	add Subtype predicate	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	remove bivariance	commit \| commitdiff \| tree
2017-04-12	Niko Matsakis	remove type variable defaults code	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	remove comments that were tripping up pretty printer	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	fix error message for issue-10176.rs	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	update UI test	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	kill the graphviz-flowgraph tests	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	document `diverges` more correctly	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	fix `X as !` behavior	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	add test illustrating current "coerce to `!`" behavior	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	have coercion supply back the target type	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	remove `Clone` from `FnCtxt`	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	rename `only_has_type_or_fresh_var` to `coercion_target_type`	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	fix handling of blocks with `CoerceMany`	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	coercion now depends on whether the expression diverges	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	avoid allocating a vector when the coercion sites are...	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	cherry-pick over the tests I wrote for the reachability...	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	pacify the mercilous tidy	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	add regression test for #39808	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	we now get an extra unreachable code warning in this...	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	more detailed tests around diverging type variables	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	make `try_find_coercion_lub` private; we always use...	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	whitespace changes, debug message	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	rewrite `ExprArray` processing to use `CoerceMany`	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	rework how we handle the type of loops	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	do not eagerly convert `!` to a diverging variable	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	document the diverges flag etc	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	port `return` expressions to use `CoerceMany`	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	port if-then-else to use `CoerceMany`	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	port the match code to use `CoerceMany`	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	introduce (but do not yet use) a `CoerceMany` API	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	add an `ObligationCauseCode` we'll use later (`ReturnNoExpre...	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	add a `TypeVariableOrigin` we'll use later (`DerivingFn`)	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	add some debug logs to type_variable.rs	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	change the strategy for diverging types	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	refactor the `targeted_by_break` field	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	remove unneeded `&` that now fails to coerce	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	update comment	commit \| commitdiff \| tree
2017-03-30	Niko Matsakis	refactor if so that the "then type" is an expression	commit \| commitdiff \| tree
2017-03-23	Niko Matsakis	convert privacy access levels into a query	commit \| commitdiff \| tree
2017-03-23	Niko Matsakis	ignore reads of tracked state when there is no current...	commit \| commitdiff \| tree
2017-03-23	Niko Matsakis	move `export_map` into the tcx	commit \| commitdiff \| tree
2017-03-23	Niko Matsakis	convert inherent-impl-related things to on-demand queries	commit \| commitdiff \| tree
2017-03-23	Niko Matsakis	move `check` to the top of the file, where I would...	commit \| commitdiff \| tree
2017-03-23	Niko Matsakis	convert `custom_coerce_unsized_kind` into a `coerce_unsized_...	commit \| commitdiff \| tree
2017-03-22	Niko Matsakis	add regression test for #39984	commit \| commitdiff \| tree
2017-03-22	Niko Matsakis	Revert "Auto merge of #39485 - canndrew:inference-fix...	commit \| commitdiff \| tree
2017-03-10	Niko Matsakis	add comments and remove unused code paths	commit \| commitdiff \| tree
2017-03-10	Niko Matsakis	isolate dep-graph tasks	commit \| commitdiff \| tree
2017-03-01	Niko Matsakis	fix tests to handle the Typeof bodies	commit \| commitdiff \| tree
2017-03-01	Niko Matsakis	inhibit enum layout optimizations under `#[repr(C)...	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	simplify check-item-types too	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	convert MIR to iterate over the bodies vector	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	rewrite typeck bodies to iterate over the bodies vector	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	store the visit order in the Crate	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	switch bodies to a btreemap	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	kill the code path for E0388	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	walk the bodies "in order" by traversing the crate	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	remove `Option` from the `tables` field	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	use `visit_all_bodies_in_krate` for borrowck instead...	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	remove special-case code for statics and just use ...	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	make `borrowck_fn` and friends create `bccx`	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	remove the borrowck stats	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	rewrite `borrowck_fn` to only use the body-id	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	add `visit_all_bodies_in_krate` helper	commit \| commitdiff \| tree
2017-02-28	Niko Matsakis	move the `FreeRegionMap` into `TypeckTables`	commit \| commitdiff \| tree
2017-02-22	Niko Matsakis	detect "bootstrap outputs" when serializing the dep...	commit \| commitdiff \| tree
2017-02-19	Niko Matsakis	fix run-pass test that required `Copy` impl	commit \| commitdiff \| tree
2017-02-17	Niko Matsakis	remove vestiges of the old suggestion machinery	commit \| commitdiff \| tree
2017-02-17	Niko Matsakis	add some sample UI error test cases	commit \| commitdiff \| tree
2017-02-16	Niko Matsakis	erase late bound regions in `get_vtable_methods()`	commit \| commitdiff \| tree
2017-02-06	Niko Matsakis	fix case where some edges can't be recreated by expanding...	commit \| commitdiff \| tree
2017-02-06	Niko Matsakis	regr test	commit \| commitdiff \| tree
2017-02-05	Niko Matsakis	make lifetimes that only appear in return type early...	commit \| commitdiff \| tree
2017-02-04	Niko Matsakis	pacify the mercilous tidy, improve cycle unit test	commit \| commitdiff \| tree
2017-02-04	Niko Matsakis	go back to the older model of coherence collect	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	add a comment about optimality that somehow got removed	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	s/in_index/input_index/	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	make dirty process O(dirty)	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	prevent multiple writes to a single entry in a `DepTrackingMap`	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	rejigger how we handle used trait imports	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	remove some of the ways to mutate a `DepTrackingMap`	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	store typeck lints in the `TypeckTables`	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	introduce `LintTable`	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	change the `used_trait_imports` map to be a `DefIdSet`	commit \| commitdiff \| tree
2017-02-03	Niko Matsakis	don't use a mutable field where parameter passing will do	commit \| commitdiff \| tree
2017-01-31	Niko Matsakis	rewrite the predecessors code to create a reduced graph	commit \| commitdiff \| tree
2017-01-27	Niko Matsakis	move `cast_kinds` into `TypeckTables` where it belongs	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom