TrigNavigation: code cleanup of TypeProxy
Just some minor code cleanups of the TypeProxy
class to make further thread-checker related changes easier.
Just some minor code cleanups of the TypeProxy
class to make further thread-checker related changes easier.