Skip to content

Commit cedadf9

Browse files
author
bors-servo
authored
Auto merge of #490 - manuel-woelker:master, r=fitzgen
ty: add tests for Type.is_invalid_named_type() (#460) I didn't add an extra test module, since I couldn't find any precedents in the project. Feedback welcome!
2 parents 16cc5bf + c4eb4b2 commit cedadf9

File tree

1 file changed

+45
-0
lines changed

1 file changed

+45
-0
lines changed

src/ir/ty.rs

+45
Original file line numberDiff line numberDiff line change
@@ -392,6 +392,51 @@ impl Type {
392392
}
393393
}
394394
}
395+
#[test]
396+
fn is_invalid_named_type_valid() {
397+
let ty = Type::new(Some("foo".into()), None, TypeKind::Named, false);
398+
assert!(!ty.is_invalid_named_type())
399+
}
400+
401+
#[test]
402+
fn is_invalid_named_type_valid_underscore_and_numbers() {
403+
let ty =
404+
Type::new(Some("_foo123456789_".into()), None, TypeKind::Named, false);
405+
assert!(!ty.is_invalid_named_type())
406+
}
407+
408+
#[test]
409+
fn is_invalid_named_type_valid_unnamed_kind() {
410+
let ty = Type::new(Some("foo".into()), None, TypeKind::Void, false);
411+
assert!(!ty.is_invalid_named_type())
412+
}
413+
414+
#[test]
415+
fn is_invalid_named_type_invalid_start() {
416+
let ty = Type::new(Some("1foo".into()), None, TypeKind::Named, false);
417+
assert!(ty.is_invalid_named_type())
418+
}
419+
420+
#[test]
421+
fn is_invalid_named_type_invalid_remaing() {
422+
let ty = Type::new(Some("foo-".into()), None, TypeKind::Named, false);
423+
assert!(ty.is_invalid_named_type())
424+
}
425+
426+
#[test]
427+
#[should_panic]
428+
fn is_invalid_named_type_unnamed() {
429+
let ty = Type::new(None, None, TypeKind::Named, false);
430+
assert!(ty.is_invalid_named_type())
431+
}
432+
433+
#[test]
434+
#[should_panic]
435+
fn is_invalid_named_type_empty_name() {
436+
let ty = Type::new(Some("".into()), None, TypeKind::Named, false);
437+
assert!(ty.is_invalid_named_type())
438+
}
439+
395440

396441
impl CanDeriveDebug for Type {
397442
type Extra = ();

0 commit comments

Comments
 (0)