NextContext

constructor(reason: StuckWhy, detail: String, options: SolveOptions, caseDir: String, unmirrored: List<String>, candidates: List<String>)(source)