Finish static checking for interfaces.