diff options
| author | b-naber <bn@client-141-23-143-226.wlan.tu-berlin.de> | 2020-11-19 18:32:52 +0100 |
|---|---|---|
| committer | b-naber <bn@MacBook-Pro-42.local> | 2020-11-25 19:56:10 +0100 |
| commit | 37d103f3cfb7be39a1a7d4d1b6d289601d59bfdb (patch) | |
| tree | 9155052803b122d45169d383615a21f7cf2fe34d | |
| parent | 823dbb38e4402b15ff543e615d560d7fb8626ff7 (diff) | |
| download | rust-37d103f3cfb7be39a1a7d4d1b6d289601d59bfdb.tar.gz rust-37d103f3cfb7be39a1a7d4d1b6d289601d59bfdb.zip | |
insert span_fatal call in ast lowering to indicate that generic arguments in AssocTyConstraints haven't been fully implemented
| -rw-r--r-- | compiler/rustc_ast_lowering/src/lib.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/rustc_ast_lowering/src/lib.rs b/compiler/rustc_ast_lowering/src/lib.rs index d93655e5905..0fe4259424d 100644 --- a/compiler/rustc_ast_lowering/src/lib.rs +++ b/compiler/rustc_ast_lowering/src/lib.rs @@ -1038,6 +1038,13 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> { ) -> hir::TypeBinding<'hir> { debug!("lower_assoc_ty_constraint(constraint={:?}, itctx={:?})", constraint, itctx); + if let Some(ref gen_args) = constraint.gen_args { + self.sess.span_fatal( + gen_args.span(), + "generic associated types in trait paths are currently not implemented", + ); + } + let kind = match constraint.kind { AssocTyConstraintKind::Equality { ref ty } => { hir::TypeBindingKind::Equality { ty: self.lower_ty(ty, itctx) } |