Does exactly that. Runs your SQL against the database at compile time to get type information, which it injects into the program AST.