Function locate 

fn locate(krate: &str, func: &str, src: &Sources) -> Option<Obligation>

fn name in a crate’s sources: file, line, kind, doc comment, module.