Function valid

crates/expr/src/check.rs:408–469

()

    #[test]
    fn valid() {
        let tx = SchemaViewer(module_def());

        struct TestCase {
            sql: &'static str,
            msg: &'static str,
        }

        for TestCase { sql, msg } in [
            TestCase {
                sql: "select * from t",
                msg: "Can select * on any table",
            },
            TestCase {
                sql: "select * from t where true",
                msg: "Boolean literals are valid in WHERE clause",
            },
            TestCase {
                sql: "select * from t where t.u32 = 1",
                msg: "Can qualify column references with table name",
            },
            TestCase {
                sql: "select * from t where u32 = 1",
                msg: "Can leave columns unqualified when unambiguous",
            },
            TestCase {
                sql: "select * from s where id = :sender",
                msg: "Can use :sender as an Identity",
            },
            TestCase {
                sql: "select * from s where bytes = :sender",
                msg: "Can use :sender as a byte array",
            },
            TestCase {
                sql: "select * from t where t.u32 = 1 or t.str = ''",
                msg: "Type OR with qualified column references",
            },
            TestCase {
                sql: "select * from s where s.bytes = 0xABCD or bytes = X'ABCD'",
                msg: "Type OR with mixed qualified and unqualified column references",
            },
            TestCase {
                sql: "select * from s as r where r.bytes = 0xABCD or bytes = X'ABCD'",
                msg: "Type OR with table alias",
            },
            TestCase {
                sql: "select t.* from t join s",
                msg: "Type cross join + projection",
            },
            TestCase {
                sql: "select t.* from t join s join s as r where t.u32 = s.u32 and s.u32 = r.u32",
                msg: "Type self join + projection",
            },
            TestCase {
                sql: "select t.* from t join s on t.u32 = s.u32 where t.f32 = 0.1",
                msg: "Type inner join + projection",
            },
        ] {