diff --git a/compiler/rustc_error_codes/src/error_codes/E0275.md b/compiler/rustc_error_codes/src/error_codes/E0275.md
index 2d12fcea4cafc..0b06845531123 100644
--- a/compiler/rustc_error_codes/src/error_codes/E0275.md
+++ b/compiler/rustc_error_codes/src/error_codes/E0275.md
@@ -20,3 +20,10 @@ determine this, we check if `Bar<Bar<Bar<T>>>` is `Foo`, and so on. This is
 clearly a recursive requirement that can't be resolved directly.
 
 Consider changing your trait bounds so that they're less self-referential.
+
+### If you definitely do not have a recursive definition:
+If using nightly, this can also happen when you are missing a feature
+needed to evaluate the requirement (e.g., generic_const_exprs).
+
+Check whether the crate that define the Impl use some features related to it,
+and try to enable them on the client crate.