This is the implementation of the tool described in the paper Leveraging Rust Types for Program Synthesis.
For setup and use, follow the steps that the CI takes. Execute with cargo run /path/to/file.rs.
Test files can be found here, the ones under synth work (tested with CI), there are also some under unsupported due to known limitations of the search.