about summary refs log tree commit diff
path: root/tests/mir-opt/copy-prop/write_to_borrowed.main.CopyProp.diff
AgeCommit message (Expand)AuthorLines
2025-07-10Propagate from borrowed locals in CopyPropTomasz Miąsko-2/+3
2025-07-06Do not unify borrowed locals in CopyProp.Camille GILLOT-3/+2
2025-06-16Reason about borrowed classes in CopyProp.Camille GILLOT-2/+1
2025-06-16Add test.Camille GILLOT-0/+31