λ Support functions! #5

Open
acw wants to merge 59 commits from awick/functions into develop
Showing only changes of commit 50f224ab2e - Show all commits

View File

@@ -352,7 +352,9 @@ pub fn solve_constraints(
TypeOrVar::Function(args2, ret2),
));
}
tracing::trace!("we transferred CanCastTo to equivalence checks for function types");
tracing::trace!(
"we transferred CanCastTo to equivalence checks for function types"
);
changed_something = true;
}