diff options
| author | varkor <github@varkor.com> | 2019-05-06 14:17:48 +0100 |
|---|---|---|
| committer | varkor <github@varkor.com> | 2019-05-06 14:58:21 +0100 |
| commit | 5fc0395053c732c8becf0e1dca7000554c352ccd (patch) | |
| tree | a915012073c3dbd84ace0e7573bd95e3f44a3771 | |
| parent | c0454f0638f235dd7c8b4bb57ea5614e5e877746 (diff) | |
| download | rust-5fc0395053c732c8becf0e1dca7000554c352ccd.tar.gz rust-5fc0395053c732c8becf0e1dca7000554c352ccd.zip | |
Resolve a couple of `unimplemented!()`s
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
| -rw-r--r-- | src/librustc/infer/canonical/query_response.rs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/librustc/infer/canonical/query_response.rs b/src/librustc/infer/canonical/query_response.rs index 8225ed70c58..413c1428ff9 100644 --- a/src/librustc/infer/canonical/query_response.rs +++ b/src/librustc/infer/canonical/query_response.rs @@ -318,8 +318,9 @@ impl<'cx, 'gcx, 'tcx> InferCtxt<'cx, 'gcx, 'tcx> { obligations.extend(ok.into_obligations()); } - (UnpackedKind::Const(..), UnpackedKind::Const(..)) => { - unimplemented!() // FIXME(const_generics) + (UnpackedKind::Const(v1), UnpackedKind::Const(v2)) => { + let ok = self.at(cause, param_env).eq(v1, v2)?; + obligations.extend(ok.into_obligations()); } _ => { @@ -626,8 +627,9 @@ impl<'cx, 'gcx, 'tcx> InferCtxt<'cx, 'gcx, 'tcx> { obligations .extend(self.at(cause, param_env).eq(v1, v2)?.into_obligations()); } - (UnpackedKind::Const(..), UnpackedKind::Const(..)) => { - unimplemented!() // FIXME(const_generics) + (UnpackedKind::Const(v1), UnpackedKind::Const(v2)) => { + let ok = self.at(cause, param_env).eq(v1, v2)?; + obligations.extend(ok.into_obligations()); } _ => { bug!("kind mismatch, cannot unify {:?} and {:?}", value1, value2,); |