diff options
| author | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2024-06-04 08:25:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-04 08:25:48 +0100 |
| commit | b477f890417fedbb4178b1f7385e939cb6eac32f (patch) | |
| tree | 25d8b36e031118811cc099f974fc68456a842efa /compiler/rustc_codegen_ssa | |
| parent | 6c2cf0b0386e34bfe372c5f949bd0dfcd226283e (diff) | |
| parent | 273b990554fa2a7efdd975ccf2ef490c6c90cbaf (diff) | |
| download | rust-b477f890417fedbb4178b1f7385e939cb6eac32f.tar.gz rust-b477f890417fedbb4178b1f7385e939cb6eac32f.zip | |
Rollup merge of #125750 - compiler-errors:expect, r=lcnr
Align `Term` methods with `GenericArg` methods, add `Term::expect_*` * `Term::ty` -> `Term::as_type`. * `Term::ct` -> `Term::as_const`. * Adds `Term::expect_type` and `Term::expect_const`, and uses them in favor of `.ty().unwrap()`, etc. I could also shorten these to `as_ty` and then do `GenericArg::as_ty` as well, but I do think the `as_` is important to signal that this is a conversion method, and not a getter, like `Const::ty` is. r? types
Diffstat (limited to 'compiler/rustc_codegen_ssa')
| -rw-r--r-- | compiler/rustc_codegen_ssa/src/debuginfo/type_names.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_codegen_ssa/src/debuginfo/type_names.rs b/compiler/rustc_codegen_ssa/src/debuginfo/type_names.rs index 07473ee476b..2360cce55a9 100644 --- a/compiler/rustc_codegen_ssa/src/debuginfo/type_names.rs +++ b/compiler/rustc_codegen_ssa/src/debuginfo/type_names.rs @@ -263,7 +263,7 @@ fn push_debuginfo_type_name<'tcx>( let ExistentialProjection { def_id: item_def_id, term, .. } = tcx.instantiate_bound_regions_with_erased(bound); // FIXME(associated_const_equality): allow for consts here - (item_def_id, term.ty().unwrap()) + (item_def_id, term.expect_type()) }) .collect(); |