TIL. That looks like a nice way to add tests to legacy code without having to re-create what TDD would have had the developers started that way.
You can mix the approaches, have some static assertions(as sanity checks) but make most snapshot tests. Like I said I wouldn't use snapshot testing for a fibonacci method, but there are problems out there that are a real pain to test via static assertions.