diff options
| author | Jack Huey <jack.huey@umassmed.edu> | 2021-05-15 12:12:56 -0400 |
|---|---|---|
| committer | Jack Huey <jack.huey@umassmed.edu> | 2021-05-15 12:12:56 -0400 |
| commit | d2554776b81fa7dc966ee64f4ba88804a3e89322 (patch) | |
| tree | bf0b661c86db22383e172b55f02075bff992edcb /compiler/rustc_middle/src/infer | |
| parent | fb6cec440a920c06eebea65c117dbc604899975e (diff) | |
| download | rust-d2554776b81fa7dc966ee64f4ba88804a3e89322.tar.gz rust-d2554776b81fa7dc966ee64f4ba88804a3e89322.zip | |
Add comment
Diffstat (limited to 'compiler/rustc_middle/src/infer')
| -rw-r--r-- | compiler/rustc_middle/src/infer/unify_key.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/infer/unify_key.rs b/compiler/rustc_middle/src/infer/unify_key.rs index 2427b37f741..0b05dd5c0ba 100644 --- a/compiler/rustc_middle/src/infer/unify_key.rs +++ b/compiler/rustc_middle/src/infer/unify_key.rs @@ -48,6 +48,9 @@ impl<'tcx> UnifyValue for UnifiedRegion<'tcx> { fn unify_values(value1: &Self, value2: &Self) -> Result<Self, NoError> { Ok(match (value1.0, value2.0) { + // Here we can just pick one value, because the full constraints graph + // will be handled later. Ideally, we might want a `MultipleValues` + // variant or something. For now though, this is fine. (Some(_), Some(_)) => *value1, (Some(_), _) => *value1, |