| //~ NOTE cycle used when computing layout of `core::option::Option<<S as Mirror>::It>` |
| //~? ERROR cycle detected when computing layout of `core::option::Option<S>` |
| //~? NOTE for more information, see <https://rustc-dev-guide.rust-lang.org/overview.html#queries> and <https://rustc-dev-guide.rust-lang.org/query.html> |
| //~? NOTE ...which requires computing layout of `core::option::Option<<S as Mirror>::It>`... |
| //~? NOTE ...which again requires computing layout of `core::option::Option<S>`, completing the cycle |
| |
| trait Mirror { |
| type It: ?Sized; |
| } |
| impl<T: ?Sized> Mirror for T { |
| type It = Self; |
| } |
| struct S(Option<<S as Mirror>::It>); |
| //~^ NOTE ...which requires computing layout of `S`... |
| |
| fn main() { |
| let _s = S(None); |
| } |
