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

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

author	Corey Richardson <corey@octayn.net>
	Mon, 15 Dec 2014 14:45:28 +0000 (09:45 -0500)
committer	Corey Richardson <corey@octayn.net>
	Thu, 1 Jan 2015 22:12:15 +0000 (17:12 -0500)
commit	53ece7158500e561c69d6e07160518f19d8beafd
tree	36ae3f5c6446362e42f7c111b972170d37c24ab4	tree \| snapshot
parent	c594959cdff07b5545747809bb045bfa2868ebcc	commit \| diff

Implement numeric fallback

Doesn't yet converge on a fixed point, but generally works. A better algorithm
will come with the implementation of default type parameter fallback.

If inference fails to determine an exact integral or floating point type, it
will set the type to i32 or f64, respectively.

Closes #16968

20 files changed:

src/librustc/middle/infer/mod.rs		diff \| blob \| history
src/librustc/middle/ty.rs		diff \| blob \| history
src/librustc_typeck/check/mod.rs		diff \| blob \| history
src/librustc_typeck/check/vtable.rs		diff \| blob \| history
src/test/compile-fail/integer-literal-suffix-inference-2.rs	[deleted file]	blob \| history
src/test/compile-fail/integer-literal-suffix-inference-3.rs	[deleted file]	blob \| history
src/test/compile-fail/issue-11382.rs	[deleted file]	blob \| history
src/test/compile-fail/issue-15730.rs	[deleted file]	blob \| history
src/test/compile-fail/issue-16783.rs	[deleted file]	blob \| history
src/test/compile-fail/issue-16966.rs		diff \| blob \| history
src/test/compile-fail/issue-6458-1.rs	[deleted file]	blob \| history
src/test/compile-fail/traits-multidispatch-convert-ambig-dest.rs		diff \| blob \| history
src/test/run-fail/issue-6458-1.rs	[new file with mode: 0644]	blob
src/test/run-pass/integer-literal-suffix-inference-2.rs	[new file with mode: 0644]	blob
src/test/run-pass/integer-literal-suffix-inference-3.rs	[new file with mode: 0644]	blob
src/test/run-pass/issue-11382.rs	[new file with mode: 0644]	blob
src/test/run-pass/issue-15730.rs	[new file with mode: 0644]	blob
src/test/run-pass/issue-16783.rs	[new file with mode: 0644]	blob
src/test/run-pass/traits-multidispatch-infer-convert-source-and-target.rs	[deleted file]	blob \| history
src/test/run-pass/traits-multidispatch-infer-convert-target.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom