pub fn analyze_function(krate: &Crate, function: &ImplFn) -> FunctionContractsExpand description
Analyze one already-resolved function.
pub fn analyze_function(krate: &Crate, function: &ImplFn) -> FunctionContractsAnalyze one already-resolved function.