diff options
| author | Michael Goulet <michael@errs.io> | 2023-07-23 12:30:52 -0700 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-07-23 12:30:52 -0700 |
| commit | f3553691a89ffeb9af770051a4f7e7ac0d771406 (patch) | |
| tree | 86c1d4a91f170d50d0487d92690d3610c4ba2eb1 /compiler/rustc_trait_selection/src/solve/opaques.rs | |
| parent | 77e24f90f599070af2d8051ef9adad7fe528dd78 (diff) | |
| download | rust-f3553691a89ffeb9af770051a4f7e7ac0d771406.tar.gz rust-f3553691a89ffeb9af770051a4f7e7ac0d771406.zip | |
Comment stuff in the new solver
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/opaques.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/opaques.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/opaques.rs b/compiler/rustc_trait_selection/src/solve/opaques.rs index 2e537d1c358..f08adc0208b 100644 --- a/compiler/rustc_trait_selection/src/solve/opaques.rs +++ b/compiler/rustc_trait_selection/src/solve/opaques.rs @@ -1,3 +1,6 @@ +//! Computes a normalizes-to (projection) goal for opaque types. This goal +//! behaves differently depending on the param-env's reveal mode and whether +//! the opaque is in a defining scope. use rustc_middle::traits::query::NoSolution; use rustc_middle::traits::solve::{Certainty, Goal, QueryResult}; use rustc_middle::traits::Reveal; |