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

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

2017-02-03	Andrew Cann	Hash TyTuple's defaulted flag	commit \| commitdiff \| tree
2017-02-03	Andrew Cann	Fix make tidy	commit \| commitdiff \| tree
2017-02-03	Andrew Cann	Add warning for () to ! switch	commit \| commitdiff \| tree
2017-01-25	Andrew Cann	Hide uninhabitedness checks behind feature gate	commit \| commitdiff \| tree
2017-01-21	Andrew Cann	Fix comment	commit \| commitdiff \| tree
2017-01-21	Andrew Cann	Fix some nits	commit \| commitdiff \| tree
2017-01-20	Andrew Cann	Add unreachable attribute to Err branch	commit \| commitdiff \| tree
2017-01-20	Andrew Cann	Remove redundant block	commit \| commitdiff \| tree
2017-01-20	Andrew Cann	Remove attribute on match	commit \| commitdiff \| tree
2017-01-18	Andrew Cann	Feature gate `&Void`'s uninhabitedness.	commit \| commitdiff \| tree
2017-01-17	Andrew Cann	Fix make tidy	commit \| commitdiff \| tree
2017-01-17	Andrew Cann	Change unreachable patterns ICEs to warnings	commit \| commitdiff \| tree
2017-01-05	Andrew Cann	fix doc test for E0001	commit \| commitdiff \| tree
2017-01-05	Andrew Cann	Un-remove E0001, put a notice on it instead	commit \| commitdiff \| tree
2017-01-04	Andrew Cann	Fix build after rebase	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Fix make tidy	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Change file structure, add comments for inhabitedness.rs	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Spelling. s/forrest/forest	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Fix build after rebase.	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Remove E0001 diagnostic	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Amend compile-fail tests	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Disable unreachable patterns error entirely	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Fix inhabitedness bug	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Refactor is_uninhabited	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Add drain method to AccumulateVec/ArrayVec	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Fix test I broke	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Fix build after rebase	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Fix build after rebase	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Style fix	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Improve error message, fix and add tests.	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	More pattern matching for empty types changes	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Make is_useful handle empty types properly	commit \| commitdiff \| tree
2017-01-03	Andrew Cann	Start enabling empty types in pattern matching.	commit \| commitdiff \| tree
2016-11-28	Andrew Cann	Make core::fmt::Void a non-empty type.	commit \| commitdiff \| tree
2016-11-23	Andrew Cann	Revert libcore changes	commit \| commitdiff \| tree
2016-11-22	Andrew Cann	Use FxHashSet instead of HashMap	commit \| commitdiff \| tree
2016-11-22	Andrew Cann	Make is_uninhabited respect privacy	commit \| commitdiff \| tree
2016-11-22	Andrew Cann	Revert libcore changes, redefine Void instead	commit \| commitdiff \| tree
2016-11-22	Andrew Cann	Recursive types are always non-empty	commit \| commitdiff \| tree
2016-11-22	Andrew Cann	Expand is_uninhabited for references	commit \| commitdiff \| tree
2016-11-22	Andrew Cann	Fix previous commit	commit \| commitdiff \| tree
2016-11-22	Andrew Cann	Expand `is_uninhabited` to recurse into datatypes	commit \| commitdiff \| tree
2016-11-22	Andrew Cann	Expand is_uninhabited for ! and tuples	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Remove expr_ty method completely	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Undo unnecessary bookkeeping from last commit	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Remove use of expr_ty from coercions code	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Move write_ty to the bottom of check_pat	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Factor write_ty out of more pattern-checking functions	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Factor write_ty out of pattern-matching functions	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	check_block_with_expected returns the checked type	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Move check_expr match block into its own method	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Tidy. Rename variables.	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Tidy	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Add AdjustNeverToAny in check_expr	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Factor write_ty out of function checking functions	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Factor write_ty out of check_expr_closure	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Factor write_ty out of check_struct_expr	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Factor write_ty out of field/indexing methods	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Factor write_ty out of more checking functions	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Factor write_ty out of check_binop*	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Remove redundant error checking around ExprMethodCall	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Remove most uses of expr_ty	commit \| commitdiff \| tree
2016-09-05	Andrew Cann	Make write_ty and friends return adjusted type	commit \| commitdiff \| tree
2016-08-15	Andrew Cann	Fix bug for ! in old trans	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Remove diagnostic E0166	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Fix bug in PostExpansionVisitor	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Fix build after rebase	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Improve comments on ! tests	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Fix `make tidy`	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Add explanations to tests	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Permit `! as T` with test	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Add another test for !	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Add tests for ! type	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Add some tests for ! type	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Revert Ty::is_uninhabited to its original state	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Minor fixups based on feedback	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Add run-pass/never_coercions.rs test	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Correctly handle AdjustNeverToAny in try_find_coercion_lub	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Minor fixup.	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Lookup node type in map rather than using write_ty_expr	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Default diverging types based on feature gate.	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Minor fix	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Un-improve Ty::is_uninabited	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Rename empty/bang to never	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Minor fixups based on @eddyb's feedback	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Control usage of `!` through a feature gate.	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Make AdjustEmptyToAny actually perform the adjustment	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Remove invalid compile-fail tests related to `!`	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	implement std::cmp::* traits for `!`	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Fix build after rebase to lastest master	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Remove obsolete divergence related stuff	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	impl Debug + Display for !	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Make unused lint ignore unused `!`	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Fix super_relate_tys so that ! == !	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Switch on TyEmpty	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Fix rustdoc after rebase	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Small optimization	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Add run-fail/adjust_empty.rs test	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Invoke coercions on !	commit \| commitdiff \| tree
2016-08-13	Andrew Cann	Add EmptyToAny adjustment	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom