about summary refs log tree commit diff
path: root/tests/ui/associated-inherent-types/dont-select-if-disabled.rs
blob: 472be4fbfbcbf3aa2f89f793a0be999e407d3d73 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// Regression test for #113265.

// Don't perform selection if the feature is not enabled to prevent cycle errors
// that exist due to current limitations of the implementation from masking the
// feature-gate error. See the aforementioned issue.
// This does lead to rustc not mentioning inherent associated types at usage-sites of
// IATs that were defined in an external crate but that's acceptable for now.

// FIXME(inherent_associated_types): Revisit this decision once the implementation is smarter.

// The following program would currently lead to a cycle if IATs were enabled.

struct S(S::P); //~ ERROR ambiguous associated type

impl S { type P = (); } //~ ERROR inherent associated types are unstable

fn main() {}