]> git.lizzy.rs Git - rust.git/commit
Restrict concrete types to equivalent types
authorOliver Scherer <github35764891676564198441@oli-obk.de>
Tue, 29 Jan 2019 15:33:53 +0000 (16:33 +0100)
committerOliver Scherer <github35764891676564198441@oli-obk.de>
Fri, 1 Feb 2019 15:39:50 +0000 (16:39 +0100)
commit6f83dcc192e989eba6f4e531f4931ae057e62f9e
treec45adbff4a5c753d7f4c40fa9d9175ce6be797e9
parentcf01b514c876656696e87672a1c118a3ce7817ed
Restrict concrete types to equivalent types
25 files changed:
src/librustc/ich/impls_ty.rs
src/librustc/infer/opaque_types/mod.rs
src/librustc/ty/context.rs
src/librustc/ty/mod.rs
src/librustc_typeck/check/writeback.rs
src/librustc_typeck/collect.rs
src/test/ui/existential_types/different_defining_uses.rs
src/test/ui/existential_types/different_defining_uses.stderr
src/test/ui/existential_types/different_defining_uses_never_type.rs
src/test/ui/existential_types/different_defining_uses_never_type.stderr
src/test/ui/existential_types/generic_different_defining_uses.rs
src/test/ui/existential_types/generic_different_defining_uses.stderr
src/test/ui/existential_types/generic_duplicate_param_use.rs
src/test/ui/existential_types/generic_duplicate_param_use.stderr [new file with mode: 0644]
src/test/ui/existential_types/generic_duplicate_param_use2.rs
src/test/ui/existential_types/generic_duplicate_param_use2.stderr [new file with mode: 0644]
src/test/ui/existential_types/generic_duplicate_param_use3.rs
src/test/ui/existential_types/generic_duplicate_param_use3.stderr [new file with mode: 0644]
src/test/ui/existential_types/generic_duplicate_param_use4.rs
src/test/ui/existential_types/generic_duplicate_param_use4.stderr [new file with mode: 0644]
src/test/ui/existential_types/generic_duplicate_param_use5.rs [new file with mode: 0644]
src/test/ui/existential_types/generic_duplicate_param_use5.stderr [new file with mode: 0644]
src/test/ui/existential_types/generic_duplicate_param_use6.rs [new file with mode: 0644]
src/test/ui/existential_types/generic_duplicate_param_use6.stderr [new file with mode: 0644]
src/test/ui/existential_types/generic_duplicate_param_use7.rs [new file with mode: 0644]