pub fn check_str(name: &str, src: &str) -> (Program, Diagnostics, SourceMap)Expand description
Parse, expand and check one source string, stopping before placement.
The shape a test that is interested in inference wants: a program whose rows are known even when its placement is the thing under test.