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

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

author	Eli Friedman <eli.friedman@gmail.com>
	Sat, 13 Jun 2015 20:15:03 +0000 (13:15 -0700)
committer	Eduard Burtescu <edy.burt@gmail.com>
	Wed, 9 Mar 2016 14:45:28 +0000 (16:45 +0200)
commit	b423a0f9ef488ca4cd9ff620a44566bb441eb21f
tree	ae43c17551512f743c1de53035a7f523b32aa6fa	tree \| snapshot
parent	4b868411afee1208cfb18f7440df991b9f94265f	commit \| diff

Split TyBareFn into TyFnDef and TyFnPtr.

There's a lot of stuff wrong with the representation of these types:
TyFnDef doesn't actually uniquely identify a function, TyFnPtr is used to
represent method calls, TyFnDef in the sub-expression of a cast isn't
correctly reified, and probably some other stuff I haven't discovered yet.
Splitting them seems like the right first step, though.

73 files changed:

src/librustc/middle/effect.rs		diff \| blob \| history
src/librustc/middle/expr_use_visitor.rs		diff \| blob \| history
src/librustc/middle/infer/freshen.rs		diff \| blob \| history
src/librustc/middle/intrinsicck.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/ty/adjustment.rs		diff \| blob \| history
src/librustc/middle/ty/cast.rs		diff \| blob \| history
src/librustc/middle/ty/contents.rs		diff \| blob \| history
src/librustc/middle/ty/context.rs		diff \| blob \| history
src/librustc/middle/ty/error.rs		diff \| blob \| history
src/librustc/middle/ty/fast_reject.rs		diff \| blob \| history
src/librustc/middle/ty/flags.rs		diff \| blob \| history
src/librustc/middle/ty/outlives.rs		diff \| blob \| history
src/librustc/middle/ty/relate.rs		diff \| blob \| history
src/librustc/middle/ty/structural_impls.rs		diff \| blob \| history
src/librustc/middle/ty/sty.rs		diff \| blob \| history
src/librustc/middle/ty/util.rs		diff \| blob \| history
src/librustc/middle/ty/walk.rs		diff \| blob \| history
src/librustc/middle/ty/wf.rs		diff \| blob \| history
src/librustc/util/ppaux.rs		diff \| blob \| history
src/librustc_driver/test.rs		diff \| blob \| history
src/librustc_lint/builtin.rs		diff \| blob \| history
src/librustc_lint/types.rs		diff \| blob \| history
src/librustc_metadata/decoder.rs		diff \| blob \| history
src/librustc_metadata/tydecode.rs		diff \| blob \| history
src/librustc_metadata/tyencode.rs		diff \| blob \| history
src/librustc_mir/build/expr/into.rs		diff \| blob \| history
src/librustc_mir/hair/cx/expr.rs		diff \| blob \| history
src/librustc_mir/transform/type_check.rs		diff \| blob \| history
src/librustc_passes/consts.rs		diff \| blob \| history
src/librustc_privacy/lib.rs		diff \| blob \| history
src/librustc_trans/trans/adt.rs		diff \| blob \| history
src/librustc_trans/trans/attributes.rs		diff \| blob \| history
src/librustc_trans/trans/base.rs		diff \| blob \| history
src/librustc_trans/trans/callee.rs		diff \| blob \| history
src/librustc_trans/trans/closure.rs		diff \| blob \| history
src/librustc_trans/trans/collector.rs		diff \| blob \| history
src/librustc_trans/trans/common.rs		diff \| blob \| history
src/librustc_trans/trans/consts.rs		diff \| blob \| history
src/librustc_trans/trans/debuginfo/metadata.rs		diff \| blob \| history
src/librustc_trans/trans/debuginfo/mod.rs		diff \| blob \| history
src/librustc_trans/trans/debuginfo/type_names.rs		diff \| blob \| history
src/librustc_trans/trans/declare.rs		diff \| blob \| history
src/librustc_trans/trans/expr.rs		diff \| blob \| history
src/librustc_trans/trans/foreign.rs		diff \| blob \| history
src/librustc_trans/trans/intrinsic.rs		diff \| blob \| history
src/librustc_trans/trans/meth.rs		diff \| blob \| history
src/librustc_trans/trans/mir/block.rs		diff \| blob \| history
src/librustc_trans/trans/type_of.rs		diff \| blob \| history
src/librustc_typeck/astconv.rs		diff \| blob \| history
src/librustc_typeck/check/callee.rs		diff \| blob \| history
src/librustc_typeck/check/coercion.rs		diff \| blob \| history
src/librustc_typeck/check/compare_method.rs		diff \| blob \| history
src/librustc_typeck/check/dropck.rs		diff \| blob \| history
src/librustc_typeck/check/intrinsic.rs		diff \| blob \| history
src/librustc_typeck/check/method/confirm.rs		diff \| blob \| history
src/librustc_typeck/check/method/mod.rs		diff \| blob \| history
src/librustc_typeck/check/method/suggest.rs		diff \| blob \| history
src/librustc_typeck/check/mod.rs		diff \| blob \| history
src/librustc_typeck/check/regionck.rs		diff \| blob \| history
src/librustc_typeck/check/wfcheck.rs		diff \| blob \| history
src/librustc_typeck/coherence/mod.rs		diff \| blob \| history
src/librustc_typeck/collect.rs		diff \| blob \| history
src/librustc_typeck/constrained_type_params.rs		diff \| blob \| history
src/librustc_typeck/lib.rs		diff \| blob \| history
src/librustc_typeck/variance/constraints.rs		diff \| blob \| history
src/librustdoc/clean/inline.rs		diff \| blob \| history
src/librustdoc/clean/mod.rs		diff \| blob \| history
src/test/auxiliary/issue13507.rs		diff \| blob \| history
src/test/compile-fail/invalid-intrinsic.rs	[new file with mode: 0644]	blob
src/test/compile-fail/variadic-ffi-3.rs		diff \| blob \| history
src/test/run-pass/issue-13507-2.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom