Skip to content

Commit

Permalink
chore: this test doesn't make sense anymore
Browse files Browse the repository at this point in the history
  • Loading branch information
rvcas committed Jun 12, 2024
1 parent 63cab03 commit 02c975b
Showing 1 changed file with 1 addition and 25 deletions.
26 changes: 1 addition & 25 deletions crates/aiken-lang/src/tests/check.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2654,31 +2654,7 @@ fn if_soft_cast_no_scope_leak() {
}

#[test]
fn if_soft_cast_not_data_single_constr() {
let source_code = r#"
pub type Foo {
a: Int
}
pub fn foo(foo: Foo) -> Int {
if foo is Foo { a }: Foo {
a
} else {
0
}
}
"#;

let (warnings, _ast) = check(parse(source_code)).unwrap();

assert!(matches!(
warnings[0],
Warning::SingleConstructorExpect { .. }
))
}

#[test]
fn if_soft_cast_not_data_multi_constr() {
fn if_soft_cast_not_data() {
let source_code = r#"
pub type Foo {
Bar { a: Int }
Expand Down

0 comments on commit 02c975b

Please sign in to comment.