[PATCH] D112453: [Sema] When dereferencing a pointer of dependent type, infer the result type.

[Clement Courbet via Phabricator via cfe-commits]

courbet added a comment.

As per the comment in BuiltinTypes.def (see below), `Dependent` is
allowed in context where the type is deducible, but is there any reason
**not** to deduce the type if we can do it cheaply in some cases ?

  // This represents the type of an expression whose type is
  // totally unknown, e.g. 'T::foo'.  It is permitted for this to
  // appear in situations where the structure of the type is
  // theoretically deducible.
  BUILTIN_TYPE(Dependent, DependentTy)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D112453/new/

https://reviews.llvm.org/D112453