language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 14:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

remove unreachable! in favor of debug_assert!(false);

Browse source
This commit is contained in:
Sébastien Besnier 2020-11-26 08:37:09 +01:00
parent a55d755108
commit b0a8e96d34
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/fmt/src/annotation.rs
View file

@ -331,10 +331,10 @@ impl<'a> Formattable<'a> for TypeAnnotation<'a> {
SpaceAfter(ann, spaces) => {
ann.format_with_options(buf, parens, newlines, indent);
fmt_comments_only(buf, spaces.iter(), NewlineAt::Bottom, indent);
// seems like a lot of spaceAfter are not constructible
// since most of the time we use "SpaceBefore".
// Is this specific case really unreachable?
unreachable!("cannot have space after type annotation");
// seems like this SpaceAfter is not constructible
// so this branch hasn't be tested. Please add some test if
// this branch is actually reached and remove this dbg_assert.
debug_assert!(false);
}
Malformed(raw) => buf.push_str(raw),