diff options
| author | bors <bors@rust-lang.org> | 2017-11-23 10:46:02 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2017-11-23 10:46:02 +0000 |
| commit | b9b82fde7c72e47bd76829bd5322f427bf3f9900 (patch) | |
| tree | 781c7cf9dddac568bfd89c922540c701302c7aaf /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 247d98ec371210446934c57b419b3b5d23772d02 (diff) | |
| parent | c52e51dfb7a3d2b9027a36ba93ec73a5c1b7f00a (diff) | |
| download | rust-b9b82fde7c72e47bd76829bd5322f427bf3f9900.tar.gz rust-b9b82fde7c72e47bd76829bd5322f427bf3f9900.zip | |
Auto merge of #46054 - nikomatsakis:nll-master-to-rust-master-1, r=arielb1
typeck aggregate rvalues in MIR type checker This branch is an attempt to land content by @spastorino and @Nashenas88 that was initially landed on nll-master while we waited for https://github.com/rust-lang/rust/pull/45825 to land. The biggest change it contains is that it extends the MIR type-checker to also type-check MIR aggregate rvalues (at least partially). Specifically, it checks that the operands provided for each field have the right type. It does not yet check that their well-formedness predicates are met. That is https://github.com/rust-lang/rust/issues/45827. It also does not check other kinds of rvalues (that is https://github.com/rust-lang/rust/issues/45959). @spastorino is working on those issues now. r? @arielb1
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions