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

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

author	Jakub Bukaj <jakub@jakub.cc>
	Fri, 24 Oct 2014 19:14:37 +0000 (21:14 +0200)
committer	Jakub Bukaj <jakub@jakub.cc>
	Tue, 28 Oct 2014 16:54:16 +0000 (17:54 +0100)
commit	cca84e9e21b3f021fb6a0d9dedaad270753531cc
tree	d215d514a11662ddcf63b0c60aaba90bc818d33e	tree \| snapshot
parent	58dc0a05abb98ae2db65ca20e70f3bab51f8bf92	commit \| diff

Remove ty_bot from the type system

We now instead use a fresh variable for expressions that diverge.

49 files changed:

src/libcore/intrinsics.rs		diff \| blob \| history
src/librustc/diagnostics.rs		diff \| blob \| history
src/librustc/lint/builtin.rs		diff \| blob \| history
src/librustc/metadata/tydecode.rs		diff \| blob \| history
src/librustc/metadata/tyencode.rs		diff \| blob \| history
src/librustc/middle/cfg/construct.rs		diff \| blob \| history
src/librustc/middle/expr_use_visitor.rs		diff \| blob \| history
src/librustc/middle/intrinsicck.rs		diff \| blob \| history
src/librustc/middle/liveness.rs		diff \| blob \| history
src/librustc/middle/mem_categorization.rs		diff \| blob \| history
src/librustc/middle/traits/coherence.rs		diff \| blob \| history
src/librustc/middle/traits/select.rs		diff \| blob \| history
src/librustc/middle/trans/_match.rs		diff \| blob \| history
src/librustc/middle/trans/base.rs		diff \| blob \| history
src/librustc/middle/trans/callee.rs		diff \| blob \| history
src/librustc/middle/trans/closure.rs		diff \| blob \| history
src/librustc/middle/trans/common.rs		diff \| blob \| history
src/librustc/middle/trans/controlflow.rs		diff \| blob \| history
src/librustc/middle/trans/datum.rs		diff \| blob \| history
src/librustc/middle/trans/debuginfo.rs		diff \| blob \| history
src/librustc/middle/trans/expr.rs		diff \| blob \| history
src/librustc/middle/trans/foreign.rs		diff \| blob \| history
src/librustc/middle/trans/glue.rs		diff \| blob \| history
src/librustc/middle/trans/intrinsic.rs		diff \| blob \| history
src/librustc/middle/trans/type_of.rs		diff \| blob \| history
src/librustc/middle/ty.rs		diff \| blob \| history
src/librustc/middle/ty_fold.rs		diff \| blob \| history
src/librustc/middle/typeck/astconv.rs		diff \| blob \| history
src/librustc/middle/typeck/check/_match.rs		diff \| blob \| history
src/librustc/middle/typeck/check/method.rs		diff \| blob \| history
src/librustc/middle/typeck/check/mod.rs		diff \| blob \| history
src/librustc/middle/typeck/check/regionck.rs		diff \| blob \| history
src/librustc/middle/typeck/check/regionmanip.rs		diff \| blob \| history
src/librustc/middle/typeck/check/wf.rs		diff \| blob \| history
src/librustc/middle/typeck/coherence/mod.rs		diff \| blob \| history
src/librustc/middle/typeck/collect.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/combine.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/equate.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/lattice.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/mod.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/resolve.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/skolemize.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/sub.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/type_variable.rs		diff \| blob \| history
src/librustc/middle/typeck/mod.rs		diff \| blob \| history
src/librustc/middle/typeck/variance.rs		diff \| blob \| history
src/librustc/util/ppaux.rs		diff \| blob \| history
src/librustdoc/clean/mod.rs		diff \| blob \| history
src/test/compile-fail/issue-13847.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom