Smart completion: declarations of type Nothing filtered out