pub fn check<T: FSResolver>(
fs_resolver: &T,
input: &Path,
type_definition_module: Option<&Path>
) -> (MapFileStore<NoPathMap>, DiagnosticsContainer, Result<(PostCheckData, Module), ()>)pub fn check<T: FSResolver>(
fs_resolver: &T,
input: &Path,
type_definition_module: Option<&Path>
) -> (MapFileStore<NoPathMap>, DiagnosticsContainer, Result<(PostCheckData, Module), ()>)