rust/src/librustc_trans
Ariel Ben-Yehuda ee338c31fe normalize types every time HR regions are erased
Associated type normalization is inhibited by higher-ranked regions.
Therefore, every time we erase them, we must re-normalize.

I was meaning to introduce this change some time ago, but we used
to erase regions in generic context, which broke this terribly (because
you can't always normalize in a generic context). That seems to be gone
now.

Ensure this by having a `erase_late_bound_regions_and_normalize`
function.

Fixes #37109 (the missing call was in mir::block).
2016-10-13 19:17:53 +03:00
..
back rustc: Rename rustc_macro to proc_macro 2016-10-06 11:07:23 -07:00
debuginfo normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
mir normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
abi.rs Preliminary wasm32 support 2016-09-30 14:02:45 -07:00
adt.rs Replace offset_after_field with offsets 2016-10-02 13:13:40 -04:00
asm.rs rustc_trans: remove the bulk of old trans and most of its support code. 2016-08-24 13:23:37 +03:00
assert_module_sources.rs Refactor away AttrMetaMethods. 2016-08-25 20:41:40 +00:00
attributes.rs finish type-auditing rustllvm 2016-08-03 15:08:47 +03:00
base.rs normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
basic_block.rs Delete obviously-unreachable blocks 2016-03-30 13:00:02 +13:00
build.rs split the FFI part of rustc_llvm to rustc_llvm::ffi 2016-08-03 15:08:47 +03:00
builder.rs finish type-auditing rustllvm 2016-08-03 15:08:47 +03:00
cabi_aarch64.rs Move ty_align and ty_size out of most C ABI code 2016-09-24 18:27:39 -06:00
cabi_arm.rs Move ty_align and ty_size out of most C ABI code 2016-09-24 18:27:39 -06:00
cabi_asmjs.rs rustc_trans: move the contents of the trans module to top-level. 2016-03-27 01:23:28 +02:00
cabi_mips.rs Move ty_align and ty_size out of most C ABI code 2016-09-24 18:27:39 -06:00
cabi_mips64.rs Move ty_align and ty_size out of most C ABI code 2016-09-24 18:27:39 -06:00
cabi_powerpc.rs Move ty_align and ty_size out of most C ABI code 2016-09-24 18:27:39 -06:00
cabi_powerpc64.rs Move ty_align and ty_size out of most C ABI code 2016-09-24 18:27:39 -06:00
cabi_s390x.rs Move ty_align and ty_size out of most C ABI code 2016-09-24 18:27:39 -06:00
cabi_x86.rs Handle integer-extending for C ABI 2016-04-04 22:14:10 +02:00
cabi_x86_64.rs Move ty_align and ty_size out of most C ABI code 2016-09-24 18:27:39 -06:00
cabi_x86_win64.rs Handle integer-extending for C ABI 2016-04-04 22:14:10 +02:00
callee.rs normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
Cargo.toml Move errors from libsyntax to its own crate 2016-06-23 08:07:35 -04:00
cleanup.rs rustc_trans: remove the bulk of old trans and most of its support code. 2016-08-24 13:23:37 +03:00
closure.rs normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
collector.rs loosen assertion against proj in collector 2016-10-03 11:52:36 -04:00
common.rs Revert "normalize tuple pair types" 2016-10-13 19:16:05 +03:00
consts.rs Fix incorrect LLVM Linkage enum 2016-09-04 16:12:01 -05:00
context.rs Optimize struct_field_ptr 2016-09-24 18:21:12 -04:00
declare.rs normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
diagnostics.rs Small error code explanations improvements 2016-08-26 17:28:47 +02:00
disr.rs rustc_trans: move the contents of the trans module to top-level. 2016-03-27 01:23:28 +02:00
glue.rs Replace offset_after_field with offsets 2016-10-02 13:13:40 -04:00
intrinsic.rs normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
lib.rs Stabilise ? 2016-10-12 08:40:22 +13:00
machine.rs Completely kill represent_type and the adt::Repr type that goes with it. 2016-09-24 18:21:10 -04:00
macros.rs rustc_trans: move the contents of the trans module to top-level. 2016-03-27 01:23:28 +02:00
meth.rs normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
monomorphize.rs cache projections in trans 2016-08-31 17:47:33 -04:00
partitioning.rs Rollup merge of #36960 - michaelwoerister:linker-regression, r=eddyb 2016-10-06 08:35:42 -07:00
README.txt Make librustc's markdown README.txt claim to be markdown. 2015-03-20 13:29:13 +01:00
symbol_map.rs collector-driven-trans: Take care of nits. 2016-07-08 10:42:47 -04:00
symbol_names_test.rs Refactor away AttrMetaMethods. 2016-08-25 20:41:40 +00:00
trans_item.rs normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
tvec.rs Fix optimization regressions for operations on [x; n]-initialized arrays. 2016-09-01 00:27:03 +03:00
type_.rs Incorporate review comments. 2016-09-25 20:14:34 -04:00
type_of.rs normalize types every time HR regions are erased 2016-10-13 19:17:53 +03:00
value.rs begin auditing the C++ types in RustWrapper 2016-08-03 15:08:47 +03:00

See the README.md in ../librustc.