diff options
| author | Michael Goulet <michael@errs.io> | 2023-05-11 02:10:56 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-05-12 00:10:52 +0000 |
| commit | 14bf909e71209fc946f35ffba8ae6572c9575715 (patch) | |
| tree | 7e74098b379efd7a09f59b8e17f6c820d7202c16 /compiler/rustc_middle | |
| parent | 2a8221dbdfd180a2d56d4b0089f4f3952d8c2bcd (diff) | |
| download | rust-14bf909e71209fc946f35ffba8ae6572c9575715.tar.gz | |
Note base types of coercion
Diffstat (limited to 'compiler/rustc_middle')
| -rw-r--r-- | compiler/rustc_middle/src/traits/mod.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index 449c453555e..2f0b07d4c71 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -281,9 +281,6 @@ pub enum ObligationCauseCode<'tcx> { /// A type like `Box<Foo<'a> + 'b>` is WF only if `'b: 'a`. ObjectTypeBound(Ty<'tcx>, ty::Region<'tcx>), - /// Obligation incurred due to an object cast. - ObjectCastObligation(/* Concrete type */ Ty<'tcx>, /* Object type */ Ty<'tcx>), - /// Obligation incurred due to a coercion. Coercion { source: Ty<'tcx>, |