Function dyon::lifetime::check
[−]
[src]
pub fn check(data: &[Range<MetaData>],
prelude: &Prelude)
-> Result<HashMap<Arc<String>, Type>, Range<String>>
Checks lifetime constraints and does type checking. Returns refined return types of functions to put in AST.