You Can't Do That: Abstracting over Ownership in Rust with Higher-Rank Type Bounds. Or Can You?

• lucumr

  2 219 7.7 CSS

  My personal website

I published an earlier blog post about how you cannot do something in Rust. You can still find that earlier post on github if you want to see it (You can't Do That: Abstracting over Ownership in Rust with Type Inference)

• minijinja

  9 1,320 9.4 Rust

  MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2

If you wan't to know why I even dove down into this Rabbit hole: I wanted to enable borrowing for filter functions in MiniJinja. The PR has more context

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• mrustc

  75 2,087 8.8 C++

  Alternative rust compiler (re-implementation)

Some compilers (like mrustc, e.g) just ignore their existence entirely. You certainly can not do that with types!

Suggest a related project