It might have been from one of Tobias's commits --- but this is a pattern they're using in the dart code, and I rather like it, it's nice.