Code

user annotations in patterns#54757

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom

nikomatsakis:nll-issue-54573-user-annotnikomatsakis/rust:nll-issue-54573-user-annotCopy head branch name to clipboard

Oct 9, 2018

Commits

Commits on Oct 8, 2018

• move `user_annotated_ty_for_adt` into a helper trait

  nikomatsakis

  committed
  f4b7115

  Copy full SHA for f4b7115

• extract more helper fns around user substs

  nikomatsakis

  committed
  71fed06

  Copy full SHA for 71fed06

• do not skip renumbering the place in place-type-ascriptions

  nikomatsakis

  committed
  a609384

  Copy full SHA for a609384

• add pattern type ascriptions for tuple/brace structs/enums

  nikomatsakis

  committed
  40ab41f

  Copy full SHA for 40ab41f

• document `create_substs_for_generic_args`

  nikomatsakis

  committed
  16e1aaf

  Copy full SHA for 16e1aaf

• add some `debug!` to type checking

  nikomatsakis

  committed
  ccba716

  Copy full SHA for ccba716