We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fa2921b commit dabacb7Copy full SHA for dabacb7
compiler/rustc_infer/src/infer/relate/generalize.rs
@@ -112,13 +112,13 @@ impl<'tcx> InferCtxt<'tcx> {
112
// constrain the `generalized_ty` while using the original relation,
113
// we therefore only have to flip the arguments.
114
//
115
- // ```ignore
+ // ```ignore (not code)
116
// ?a rel B
117
// instantiate_ty_var(?a, B) # expected and variance not flipped
118
// B' rel B
119
// ```
120
// or
121
122
// A rel ?b
123
// instantiate_ty_var(?b, A) # expected and variance flipped
124
// A rel A'
0 commit comments