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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Thu, 28 Aug 2014 01:46:52 +0000 (21:46 -0400)
committer	Niko Matsakis <niko@alum.mit.edu>
	Thu, 28 Aug 2014 01:46:52 +0000 (21:46 -0400)
commit	1b487a890695e7d6dfbfe5dcd7d4fa0e8ca8003f
tree	552fabade603ab0d148a49ae3cf1abd3f399740a	tree \| snapshot
parent	3ee047ae1ffab454270bc1859b3beef3556ef8f9	commit \| diff

Implement generalized object and type parameter bounds (Fixes #16462)

279 files changed:

src/liballoc/boxed.rs		diff \| blob \| history
src/libcollections/dlist.rs		diff \| blob \| history
src/libcollections/priority_queue.rs		diff \| blob \| history
src/libcollections/ringbuf.rs		diff \| blob \| history
src/libcollections/smallintmap.rs		diff \| blob \| history
src/libcollections/treemap.rs		diff \| blob \| history
src/libcollections/trie.rs		diff \| blob \| history
src/libcollections/vec.rs		diff \| blob \| history
src/libcore/any.rs		diff \| blob \| history
src/libcore/cell.rs		diff \| blob \| history
src/libcore/finally.rs		diff \| blob \| history
src/libcore/fmt/mod.rs		diff \| blob \| history
src/libcore/iter.rs		diff \| blob \| history
src/libcore/lib.rs		diff \| blob \| history
src/libcore/mem.rs		diff \| blob \| history
src/libcore/slice.rs		diff \| blob \| history
src/libdebug/lib.rs		diff \| blob \| history
src/libdebug/repr.rs		diff \| blob \| history
src/libfourcc/lib.rs		diff \| blob \| history
src/libgraphviz/lib.rs		diff \| blob \| history
src/libgraphviz/maybe_owned_vec.rs		diff \| blob \| history
src/libgreen/simple.rs		diff \| blob \| history
src/libgreen/task.rs		diff \| blob \| history
src/libhexfloat/lib.rs		diff \| blob \| history
src/libnative/task.rs		diff \| blob \| history
src/librand/distributions/mod.rs		diff \| blob \| history
src/librand/lib.rs		diff \| blob \| history
src/librbml/lib.rs		diff \| blob \| history
src/libregex_macros/lib.rs		diff \| blob \| history
src/librustc/driver/driver.rs		diff \| blob \| history
src/librustc/front/feature_gate.rs		diff \| blob \| history
src/librustc/lib.rs		diff \| blob \| history
src/librustc/metadata/common.rs		diff \| blob \| history
src/librustc/metadata/decoder.rs		diff \| blob \| history
src/librustc/metadata/encoder.rs		diff \| blob \| history
src/librustc/metadata/tydecode.rs		diff \| blob \| history
src/librustc/metadata/tyencode.rs		diff \| blob \| history
src/librustc/middle/astencode.rs		diff \| blob \| history
src/librustc/middle/cfg/construct.rs		diff \| blob \| history
src/librustc/middle/check_match.rs		diff \| blob \| history
src/librustc/middle/dataflow.rs		diff \| blob \| history
src/librustc/middle/expr_use_visitor.rs		diff \| blob \| history
src/librustc/middle/graph.rs		diff \| blob \| history
src/librustc/middle/kind.rs		diff \| blob \| history
src/librustc/middle/mem_categorization.rs		diff \| blob \| history
src/librustc/middle/privacy.rs		diff \| blob \| history
src/librustc/middle/region.rs		diff \| blob \| history
src/librustc/middle/resolve.rs		diff \| blob \| history
src/librustc/middle/resolve_lifetime.rs		diff \| blob \| history
src/librustc/middle/save/mod.rs		diff \| blob \| history
src/librustc/middle/save/recorder.rs		diff \| blob \| history
src/librustc/middle/subst.rs		diff \| blob \| history
src/librustc/middle/trans/_match.rs		diff \| blob \| history
src/librustc/middle/trans/cleanup.rs		diff \| blob \| history
src/librustc/middle/trans/debuginfo.rs		diff \| blob \| history
src/librustc/middle/trans/glue.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/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/vtable.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/error_reporting.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/glb.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/lub.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/mod.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/region_inference/mod.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/sub.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/unify.rs		diff \| blob \| history
src/librustc/middle/typeck/rscope.rs		diff \| blob \| history
src/librustc/util/common.rs		diff \| blob \| history
src/librustc/util/ppaux.rs		diff \| blob \| history
src/librustc_llvm/lib.rs		diff \| blob \| history
src/librustdoc/clean/inline.rs		diff \| blob \| history
src/librustdoc/clean/mod.rs		diff \| blob \| history
src/librustdoc/doctree.rs		diff \| blob \| history
src/librustdoc/html/format.rs		diff \| blob \| history
src/librustdoc/html/render.rs		diff \| blob \| history
src/librustdoc/visit_ast.rs		diff \| blob \| history
src/librustrt/exclusive.rs		diff \| blob \| history
src/librustrt/lib.rs		diff \| blob \| history
src/librustrt/local_data.rs		diff \| blob \| history
src/librustrt/rtio.rs		diff \| blob \| history
src/librustrt/task.rs		diff \| blob \| history
src/librustuv/access.rs		diff \| blob \| history
src/librustuv/timeout.rs		diff \| blob \| history
src/libserialize/json.rs		diff \| blob \| history
src/libserialize/lib.rs		diff \| blob \| history
src/libstd/collections/hashmap.rs		diff \| blob \| history
src/libstd/io/extensions.rs		diff \| blob \| history
src/libstd/io/mod.rs		diff \| blob \| history
src/libstd/io/util.rs		diff \| blob \| history
src/libstd/lib.rs		diff \| blob \| history
src/libstd/path/mod.rs		diff \| blob \| history
src/libstd/rt/backtrace.rs		diff \| blob \| history
src/libsync/comm/mod.rs		diff \| blob \| history
src/libsync/comm/select.rs		diff \| blob \| history
src/libsync/lib.rs		diff \| blob \| history
src/libsync/lock.rs		diff \| blob \| history
src/libsync/raw.rs		diff \| blob \| history
src/libsync/spsc_queue.rs		diff \| blob \| history
src/libsyntax/ast.rs		diff \| blob \| history
src/libsyntax/ast_map/mod.rs		diff \| blob \| history
src/libsyntax/ast_util.rs		diff \| blob \| history
src/libsyntax/diagnostics/plugin.rs		diff \| blob \| history
src/libsyntax/ext/asm.rs		diff \| blob \| history
src/libsyntax/ext/base.rs		diff \| blob \| history
src/libsyntax/ext/bytes.rs		diff \| blob \| history
src/libsyntax/ext/cfg.rs		diff \| blob \| history
src/libsyntax/ext/concat.rs		diff \| blob \| history
src/libsyntax/ext/concat_idents.rs		diff \| blob \| history
src/libsyntax/ext/deriving/generic/mod.rs		diff \| blob \| history
src/libsyntax/ext/env.rs		diff \| blob \| history
src/libsyntax/ext/expand.rs		diff \| blob \| history
src/libsyntax/ext/fmt.rs		diff \| blob \| history
src/libsyntax/ext/format.rs		diff \| blob \| history
src/libsyntax/ext/log_syntax.rs		diff \| blob \| history
src/libsyntax/ext/quote.rs		diff \| blob \| history
src/libsyntax/ext/source_util.rs		diff \| blob \| history
src/libsyntax/ext/trace_macros.rs		diff \| blob \| history
src/libsyntax/ext/tt/macro_rules.rs		diff \| blob \| history
src/libsyntax/fold.rs		diff \| blob \| history
src/libsyntax/lib.rs		diff \| blob \| history
src/libsyntax/parse/parser.rs		diff \| blob \| history
src/libsyntax/print/pp.rs		diff \| blob \| history
src/libsyntax/print/pprust.rs		diff \| blob \| history
src/libsyntax/visit.rs		diff \| blob \| history
src/libtest/lib.rs		diff \| blob \| history
src/test/auxiliary/issue-2380.rs		diff \| blob \| history
src/test/auxiliary/issue-7178.rs		diff \| blob \| history
src/test/auxiliary/macro_crate_test.rs		diff \| blob \| history
src/test/auxiliary/regions-bounded-method-type-parameters-cross-crate-lib.rs	[new file with mode: 0644]	blob
src/test/auxiliary/syntax-extension-with-dll-deps-2.rs		diff \| blob \| history
src/test/bench/shootout-fasta-redux.rs		diff \| blob \| history
src/test/bench/shootout-meteor.rs		diff \| blob \| history
src/test/compile-fail/bad-method-typaram-kind.rs		diff \| blob \| history
src/test/compile-fail/borrowck-call-sendfn.rs		diff \| blob \| history
src/test/compile-fail/borrowck-object-lifetime.rs		diff \| blob \| history
src/test/compile-fail/box-static-bound.rs		diff \| blob \| history
src/test/compile-fail/builtin-superkinds-self-type.rs		diff \| blob \| history
src/test/compile-fail/closure-bounds-cant-promote-superkind-in-struct.rs		diff \| blob \| history
src/test/compile-fail/closure-bounds-static-cant-capture-borrowed.rs		diff \| blob \| history
src/test/compile-fail/closure-bounds-subtype.rs		diff \| blob \| history
src/test/compile-fail/drop-on-non-struct.rs		diff \| blob \| history
src/test/compile-fail/issue-12470.rs	[new file with mode: 0644]	blob
src/test/compile-fail/issue-14285.rs		diff \| blob \| history
src/test/compile-fail/issue-3154.rs		diff \| blob \| history
src/test/compile-fail/issue-3907-2.rs		diff \| blob \| history
src/test/compile-fail/issue-3953.rs		diff \| blob \| history
src/test/compile-fail/issue-4972.rs		diff \| blob \| history
src/test/compile-fail/issue-5035-2.rs		diff \| blob \| history
src/test/compile-fail/issue-5216.rs		diff \| blob \| history
src/test/compile-fail/issue-5883.rs		diff \| blob \| history
src/test/compile-fail/isuue-12470.rs	[deleted file]	blob \| history
src/test/compile-fail/kindck-impl-type-params.rs		diff \| blob \| history
src/test/compile-fail/kindck-owned-trait-contains.rs	[deleted file]	blob \| history
src/test/compile-fail/kindck-proc-bounds.rs	[new file with mode: 0644]	blob
src/test/compile-fail/kindck-send-object.rs	[new file with mode: 0644]	blob
src/test/compile-fail/kindck-send.rs	[deleted file]	blob \| history
src/test/compile-fail/lifetime-inference-give-expl-lifetime-param-3.rs	[new file with mode: 0644]	blob
src/test/compile-fail/lifetime-inference-give-expl-lifetime-param.rs		diff \| blob \| history
src/test/compile-fail/moves-sru-moved-field.rs		diff \| blob \| history
src/test/compile-fail/owned-ptr-static-bound.rs	[deleted file]	blob \| history
src/test/compile-fail/proc-bounds.rs	[deleted file]	blob \| history
src/test/compile-fail/proc-static-bound.rs	[deleted file]	blob \| history
src/test/compile-fail/region-bounds-on-objects-and-type-parameters.rs	[new file with mode: 0644]	blob
src/test/compile-fail/region-object-lifetime-1.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regionck-closure-lifetimes.rs		diff \| blob \| history
src/test/compile-fail/regionck-unboxed-closure-lifetimes.rs		diff \| blob \| history
src/test/compile-fail/regions-bound-lists-feature-gate-2.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-bound-lists-feature-gate.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-bound-missing-bound-in-impl.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-bounded-by-send.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-bounded-by-trait-requiring-static.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-bounded-method-type-parameters-cross-crate.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-bounded-method-type-parameters-trait-bound.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-bounded-method-type-parameters.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-close-object-into-object.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-close-over-borrowed-ref-in-obj.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-close-over-type-parameter-1.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-close-over-type-parameter-2.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-early-bound-error.rs		diff \| blob \| history
src/test/compile-fail/regions-enum-not-wf.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-escape-bound-fn-2.rs		diff \| blob \| history
src/test/compile-fail/regions-escape-via-trait-or-not.rs		diff \| blob \| history
src/test/compile-fail/regions-free-region-ordering-callee.rs		diff \| blob \| history
src/test/compile-fail/regions-free-region-ordering-caller.rs		diff \| blob \| history
src/test/compile-fail/regions-free-region-ordering-incorrect.rs		diff \| blob \| history
src/test/compile-fail/regions-freevar.rs		diff \| blob \| history
src/test/compile-fail/regions-infer-bound-from-trait-self.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-bound-from-trait.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-region-in-fn-but-not-type.rs		diff \| blob \| history
src/test/compile-fail/regions-lifetime-bounds-on-fns.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-proc-bound-capture.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-proc-bounds.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-reborrow-from-shorter-mut-ref-mut-ref.rs		diff \| blob \| history
src/test/compile-fail/regions-ret-borrowed-1.rs		diff \| blob \| history
src/test/compile-fail/regions-ret-borrowed.rs		diff \| blob \| history
src/test/compile-fail/regions-struct-not-wf.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-trait-variance.rs		diff \| blob \| history
src/test/compile-fail/regions-variance-covariant-use-contravariant.rs		diff \| blob \| history
src/test/compile-fail/regions-variance-invariant-use-contravariant.rs		diff \| blob \| history
src/test/compile-fail/regions-variance-invariant-use-covariant.rs		diff \| blob \| history
src/test/compile-fail/selftype-traittype.rs		diff \| blob \| history
src/test/compile-fail/static-region-bound.rs		diff \| blob \| history
src/test/compile-fail/trailing-plus-in-bounds.rs		diff \| blob \| history
src/test/compile-fail/trait-bounds-sugar.rs		diff \| blob \| history
src/test/compile-fail/typeck_type_placeholder_lifetime_1.rs		diff \| blob \| history
src/test/compile-fail/typeck_type_placeholder_lifetime_2.rs		diff \| blob \| history
src/test/compile-fail/unconstrained-ref.rs		diff \| blob \| history
src/test/compile-fail/unsized4.rs		diff \| blob \| history
src/test/compile-fail/use-after-move-implicity-coerced-object.rs		diff \| blob \| history
src/test/compile-fail/variance-regions-direct.rs		diff \| blob \| history
src/test/compile-fail/variance-regions-indirect.rs		diff \| blob \| history
src/test/pretty/closure-reform-pretty.rs		diff \| blob \| history
src/test/pretty/issue-4264.pp		diff \| blob \| history
src/test/pretty/path-type-bounds.rs		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f01.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f02.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f03.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f04.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f05.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f06.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f07.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f08.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f09.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f10.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f11.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f12.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f13.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f14.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f15.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f16.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f17.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f18.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f19.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f20.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f21.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f22.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f23.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f24.dot-expected.dot		diff \| blob \| history
src/test/run-make/graphviz-flowgraph/f25.dot-expected.dot		diff \| blob \| history
src/test/run-pass/alignment-gep-tup-like-1.rs		diff \| blob \| history
src/test/run-pass/borrowck-freeze-frozen-mut.rs		diff \| blob \| history
src/test/run-pass/close-over-big-then-small-data.rs		diff \| blob \| history
src/test/run-pass/closure-reform.rs		diff \| blob \| history
src/test/run-pass/closure-syntax.rs		diff \| blob \| history
src/test/run-pass/colorful-write-macros.rs		diff \| blob \| history
src/test/run-pass/explicit-self-generic.rs		diff \| blob \| history
src/test/run-pass/issue-10802.rs		diff \| blob \| history
src/test/run-pass/issue-11205.rs		diff \| blob \| history
src/test/run-pass/issue-11612.rs		diff \| blob \| history
src/test/run-pass/issue-11677.rs		diff \| blob \| history
src/test/run-pass/issue-14958.rs		diff \| blob \| history
src/test/run-pass/issue-14959.rs		diff \| blob \| history
src/test/run-pass/issue-2734.rs		diff \| blob \| history
src/test/run-pass/issue-2735.rs		diff \| blob \| history
src/test/run-pass/issue-3424.rs		diff \| blob \| history
src/test/run-pass/issue-5192.rs		diff \| blob \| history
src/test/run-pass/issue-5554.rs		diff \| blob \| history
src/test/run-pass/issue-5708.rs		diff \| blob \| history
src/test/run-pass/issue-6318.rs		diff \| blob \| history
src/test/run-pass/issue-8249.rs		diff \| blob \| history
src/test/run-pass/issue-9719.rs		diff \| blob \| history
src/test/run-pass/kindck-owned-trait-contains-1.rs		diff \| blob \| history
src/test/run-pass/newlambdas-ret-infer.rs		diff \| blob \| history
src/test/run-pass/newlambdas-ret-infer2.rs		diff \| blob \| history
src/test/run-pass/overloaded-autoderef-indexing.rs		diff \| blob \| history
src/test/run-pass/regions-early-bound-trait-param.rs		diff \| blob \| history
src/test/run-pass/regions-early-bound-used-in-bound.rs		diff \| blob \| history
src/test/run-pass/swap-overlapping.rs		diff \| blob \| history
src/test/run-pass/trait-bounds-impl-comparison-duplicates.rs		diff \| blob \| history
src/test/run-pass/trait-bounds-on-structs-and-enums.rs		diff \| blob \| history
src/test/run-pass/trait-object-generics.rs		diff \| blob \| history
src/test/run-pass/unboxed-closures-boxed.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom