diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-12-27 10:22:55 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2019-01-02 17:35:05 -0500 |
| commit | 904a0bde93f0348f69914ee90b1f8b6e4e0d7cbc (patch) | |
| tree | bacf1849877687975e2b51de611fc140cde005e5 /src/rustllvm/RustWrapper.cpp | |
| parent | 4170829e536f5b284c4c66f291acfb0da23bb526 (diff) | |
| download | rust-904a0bde93f0348f69914ee90b1f8b6e4e0d7cbc.tar.gz rust-904a0bde93f0348f69914ee90b1f8b6e4e0d7cbc.zip | |
select.rs: unsizing coercion should use a subtype
When we coerce `dyn Foo` to `dyn Bar`, that is OK as long as `Foo` is usable in all contexts where `Bar` is usable (hence using the source must be a subtype of the target). This is needed for the universe-based code to handle `old-lub-glb-object`; that test used to work sort of by accident before with the old code.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions