Remove DesugaringKind::Replace. A simple boolean flag is enough.
For more information about how rustc works, see the rustc dev guide.
Guillaume Gomez