Commits

Branch selector

 master

User selector

b-naber

Datepicker

All time

Commit History

Commits on Jul 28, 2023

• address review

  b-naber

  committedJul 28, 2023
  5a9af37

Commits on Jul 17, 2023

• add more tests

  b-naber

  committedJul 17, 2023
  e1e7553

• try to structurally resolve before try_resolve_slice_ty_to_array_ty

  b-naber

  committedJul 17, 2023
  96af415

• address review

  b-naber

  committedJul 17, 2023
  65f92a5

• move els into DeclOrigin

  b-naber

  committedJul 17, 2023
  1c217b6

• add test for nested pattern

  b-naber

  committedJul 17, 2023
  843e2ee

• combine arguments into PatInfo

  b-naber

  committedJul 17, 2023
  feb8bb1

• add tests for refutable patterns

  b-naber

  committedJul 17, 2023
  39c2785

• only infer array type on irrefutable patterns

  b-naber

  committedJul 17, 2023
  b3413c6

• add test, bless tests

  b-naber

  committedJul 17, 2023
  e18e376

• try to infer array type from slice pattern

  b-naber

  committedJul 17, 2023
  2827aa9

Commits on May 10, 2023

• don't inline polymorphic adt instances whose fields contain projections

  b-naber

  committedMay 10, 2023
  e7a2f52

• add test

  b-naber

  committedMay 10, 2023
  7871bec

Commits on Apr 28, 2023

• dont expect normalization to succeed in elaborate_drops

  b-naber

  committedApr 28, 2023
  930c39a

Commits on Mar 22, 2023

• print sccs_info strings correctly

  b-naber

  committedMar 22, 2023
  8f4cf2e

• eager nll type relating

  b-naber

  committedMar 22, 2023
  35bc8ae

• assertion for only collection nll region variable information for debug in non-canonicalization contexts

  b-naber

  committedMar 22, 2023
  da0fe80

Commits on Mar 9, 2023

• add myself to compiler reviewers list

  b-naber

  committedMar 9, 2023
  c6d32f4

Commits on Feb 21, 2023

• address review

  b-naber

  committedFeb 21, 2023
  8252a6e

Commits on Feb 20, 2023

• remove cfg attributes

  b-naber

  committedFeb 20, 2023
  c9843d6

Commits on Feb 19, 2023

• add some cfgs back

  b-naber

  committedFeb 19, 2023
  0725d0c

• remove cfgs

  b-naber

  committedFeb 19, 2023
  aefc5ec

• rebase

  b-naber

  committedFeb 19, 2023
  2d2bccf

• some conditional imports

  b-naber

  committedFeb 19, 2023
  46bd77a

• sccs info

  b-naber

  committedFeb 19, 2023
  e2bf960

• collect existentials and placeholders

  b-naber

  committedFeb 19, 2023
  960ebaf

• collect region contexts during mir renumbering

  b-naber

  committedFeb 19, 2023
  2f79f73

• add BorrowckInferCtxt

  b-naber

  committedFeb 19, 2023
  cb35a7b

Commits on Feb 15, 2023

• exhaustive matching in get_ambient_variance

  b-naber

  committedFeb 15, 2023
  758cc95

Commits on Feb 12, 2023

• only require sub type relation on field projection types

  b-naber

  committedFeb 12, 2023
  6e1d228

Commits on Jan 27, 2023

• address review

  b-naber

  committedJan 27, 2023
  92f2d27

Commits on Jan 26, 2023

• previous thir unpretty output through thir-flat

  b-naber

  committedJan 26, 2023
  9438126

• add test

  b-naber

  committedJan 26, 2023
  3bce66f

• output tree representation for thir-tree

  b-naber

  committedJan 26, 2023
  90e4c13

Commits on Dec 14, 2022

• address review

  b-naber

  committedDec 14, 2022
  ff41359

Pagination

PreviousNext