add with_ascii_uppercased and caseless_ascii_equals to Str

This commit is contained in:
Norbert Hajagos 2025-01-23 12:59:52 +01:00
parent 690e690bb7
commit fc0a9ec4cf
No known key found for this signature in database
49 changed files with 1974 additions and 1673 deletions

View file

@ -3838,6 +3838,30 @@ mod solve_expr {
);
}
#[test]
fn str_with_ascii_uppercased() {
infer_eq_without_problem(
indoc!(
r"
Str.with_ascii_uppercased
"
),
"Str -> Str",
);
}
#[test]
fn str_caseless_ascii_equals() {
infer_eq_without_problem(
indoc!(
r"
Str.caseless_ascii_equals
"
),
"Str, Str -> Bool",
);
}
#[test]
fn list_take_first() {
infer_eq_without_problem(