diff options
| author | varkor <github@varkor.com> | 2019-10-22 12:00:54 +0100 |
|---|---|---|
| committer | varkor <github@varkor.com> | 2019-10-22 12:26:32 +0100 |
| commit | 7f13a4a80a67ecc4fd0521e867eeb91b657f2fa0 (patch) | |
| tree | d6ea699affbe1b4f0484aac07ab1cc9336a9613a /src | |
| parent | 9f788f3a2b7626318d0bdedca38986fc283f481f (diff) | |
| download | rust-7f13a4a80a67ecc4fd0521e867eeb91b657f2fa0.tar.gz rust-7f13a4a80a67ecc4fd0521e867eeb91b657f2fa0.zip | |
Remove FIXME
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc/ty/relate.rs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/librustc/ty/relate.rs b/src/librustc/ty/relate.rs index 41f34703622..1da65f4b51d 100644 --- a/src/librustc/ty/relate.rs +++ b/src/librustc/ty/relate.rs @@ -557,10 +557,9 @@ pub fn super_relate_consts<R: TypeRelation<'tcx>>( x.val }; - // Currently, the values that can be unified are those that - // implement both `PartialEq` and `Eq`, corresponding to - // `structural_match` types. - // FIXME(const_generics): check for `structural_match` synthetic attribute. + // Currently, the values that can be unified are primitive types, + // and those that derive both `PartialEq` and `Eq`, corresponding + // to `structural_match` types. let new_const_val = match (eagerly_eval(a), eagerly_eval(b)) { (ConstValue::Infer(_), _) | (_, ConstValue::Infer(_)) => { // The caller should handle these cases! |