add FIXME

This commit is contained in:
lcnr 2023-07-18 18:15:14 +02:00
parent 2d99f40ec5
commit aa28b77b5a

View File

@ -62,6 +62,9 @@ pub enum TreatParams {
/// correct mode for *lookup*, as during candidate selection.
///
/// N.B. during deep rejection, this acts identically to `ForLookup`.
///
/// FIXME(-Ztrait-solver=next): Remove this variant and cleanup
/// the code.
NextSolverLookup,
}