Fuzzing Diesel DSL

Diesel 提供了一个编译时安全的 DSL 来表示 SQL。我们希望确保无法构建能够编译但导致无效 SQL 查询的代码。理想情况下，我们希望为此设置一个漏洞扫描程序，尽管这似乎是一个非凡的问题。我们基本上需要一种能够接受语法正确但语义不正确的 SQL 查询，将其转换为最小的 diesel DSL 片段，并验证此代码无法编译。